Unreviewed, wrokaround for MACH_VM_MAX_ADDRESS in ARM32_64