9ce4f54341
otherwise we might get interrupts and are unable to handle them properly, which results in a page fault. PR: kern/39549 Submitted by: Gil Kloepfer <gil@arlut.utexas.edu>