It wasn't just x86-64 that had hardcoded VM_FAULT_xxx numbers