How to configure UEFI to specify the SD card as a boot device