https://www.wisdomberry.com/boot/how-do-i-get-out-of-reboot-and-select-proper-boot-device.html