x86: clean up __handle_page_fault()