x86, mm: fault.c, remove #ifdef from do_page_fault()