ещё такой вариант может быть на материнках асус https://wiki.archlinux.org/index.php/UEFI#UEFI_boot_loader_does_not_show_up_in_firmware_menu
у меня также есть папка BOOT, куда я скопировал bootx64.efi