[PATCH] x86: simplify notify_page_fault()