x86: Call do_notify_resume() with interrupts enabled