All:
I strongly urge the BIOS team to set the default Interrupt Mask properties for HWI dispatcher to be "all" rather than "self."
Most cases, interrupt nesting is discouraged. By having a default of "self," BIOS essentially allows interrupt nesting by default.
The result is having to go into each interrupt properties, and when using dispatcher, making sure that the setting for Interrupt Mask is set to "all," even on interrupts used and set up by DSP/BIOS.