We probably shouldn't leave interrupts disabled when starting an OS.