This is a pretty bad issue affecting the logic involved in reconciling
the virtual interrupt state with the hardware interrupt flags received
on entry to any CPU exception.

The net effect was a potentially corrupted virtual interrupt state on
exit from the fault handlers.