What tool is being used to boot (grub, refind, etc)? Should we assume this is UEFI? And if so, what are UEFI Bios settings possibly relevant (like a boot manager setting for example which "can" choose disks oher than your preference).