here, this is at the ret of the end of the spl() function. I guess
there's a problem with irq handling when irq 7 is not used by the
parallel port driver, leading to something like a stack overflow or
such. Note in the figures above that EBP and ESP are very different,
and 0x0012bc37 is in the middle of GNU Mach itself!