x86: optimise x86's do_page_fault (C entry point for the page fault path)