[TF-A] Re: EHF and SPMD G0 interrupt handling issues