Maybe he’ll need this to fix the issue with missing UEFI boot entry:
First you’ll need to figure out the Qubes OS disk name.
You can use:
fdisk -l
lsblk
blkid
To figure out the available disks and partitions.
The Qubes OS disk by default should have these partitions on its disk:
part1 512 MB - EFI System - /boot/efi
part2 1024 MB - ext4 - /boot
part3 the rest of the disk size - encrypted LUKS partition with rootfs
When you know the disk name then mount the /boot and /boot/efi like this, e.g. Qubes OS disk is /dev/sda:
mkdir /mnt/boot
mount /dev/sda2 /mnt/boot
mount /dev/sda1 /mnt/boot/efi
The GRUB config should be in /mnt/boot/efi/EFI/qubes/grub.cfg or in /mnt/boot/grub2/grub.cfg.