x86: use helper in fault_64.c