[TF-A] Re: Handling of normal world interrupts with BL31 PSCI handler