UEFI boot: no Qubes OS option

This issue explains more about UEFI boot entries missing. There are also instructions there for fixing UEFI

  1. Mount the bootloader partition
  2. Copy the contents of /mnt/EFI/qubes/ to /mnt/EFI/BOOT/
  3. Rename grubx64.efi to bootx64.efi
  4. Rename grub.cfg to bootx64.cfg
  5. efibootmgr -v -c -u -L Qubes2 -l /EFI/BOOT/bootx64.efi -d /dev/sda -p 1