[Jeff, Ian]

continuing from [11998]

After following this procedure to configure the BIOS settings, the computer did not boot. This was because during step #1, resetting all the settings, the boot order was modified so that 'Boot Option #1' was set to [Hard Disk: (Bus 01 Dev 00) PCI RAID Adapter]. After changing 'Boot Option #1' to [UEFI Hard Disk:debian], the computer boots as expected.