I only know this because once every two weeks my corporate Dell laptop will BSOD, forget that it has a hard drive, and then continuously try to boot over HTTPS until I enter UEFI setup and fiddle with boot device order.