You will need a USB drive formatted to boot into a UEFI Shell.
: Navigate to the USB drive (usually fs0: or fs1: ) and run the tool: eeupdate64e.efi (to list devices) eeupdate64e.efi
