x86: fix mm/fault.c build