Question about L4/Fiasco running the kernel with interrupts disable