Redefine the GLOBAL-2 interrupt bit to be the interrupt that is

Redefine the GLOBAL-2 interrupt bit to be the interrupt that is
signalled after each GC.

Change the interrupt code to allow the runtime system to specify what
interrupt mask should be installed immediately before an interrupt
handler is invoked.  This allows the runtime system to override the
simple prioritized masking being performed by the microcode.