x86_64 bootable help, sorta

John Marino found that when he couldn’t boot a x86_64 development image in Virtualbox, setting the sysctl hw.madt_probe_test=1seemed to make a difference long enough to boot, though it still crashed later. It’s worth trying if there’s no other way to boot, at least.