Need to turn off interrupts again after calling into BIOS.