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