IRQs must be unmasked after WFI to allow them to be delivered.
IRQs must be unmasked after WFI to allow them to be delivered.

rvedam/Mezzano,froggey/Mezzano,varjagg/Mezzano,froggey/Mezzano,varjagg/Mezzano,rvedam/Mezzano