[FIX] Skip fixup do_page_fault for x86