RE: [Hafnium] Boot arguments for S-EL1 with SPMC at S-EL2