i'm on pc-x86_64. so or bios or efi. and both have a boot manager, where you can reorder boot disks.