If we took a page fault while we had interrupts disabled, we
shouldn't enable them in the page fault handler.
Signed-off-by: NChris Metcalf <cmetcalf@tilera.com>