[TF-A] Re: Does spmd_group0_interrupt_handler_nwd() need to take into account handling of special INTIDs?