We noticed a very peculiar issue where even after changing the Boot order in BIOS, we were not able to boot from the other boot device; instead, it defaulted to booting from the Windows Boot Manager.