A maneira mais segura é editar o com.apple.Boot
plist, como documentado nesta página . O arquivo está localizado em /Library/Preferences/SystemConfiguration/com.apple.Boot.plist
. Encontre a chave do Kernel Flags e adicione arch=x86_64
:
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>Kernel</key>
<string>mach_kernel</string>
<key>Kernel Flags</key>
<string>arch=x86_64</string>
</dict>