allow x86_64 to boot, too