EFI Xen Version

When I boot a GRUB based Qubes PC, I see the Xen version is 4.8.5.

However, when I boot my UEFI one, Xen is 4.8.4. My guess is I am

pointing to the wrong .efi file, since I have to manually copy them to

BOOT folder when I update. Which one is the right one? There are three:

/boot/efi/EFI/xen.efi.
/boot/efi/EFI/qubes/xen.efi
/boot/efi/EFI/qubes/xen-4.8.5-6.fc25.efi

Should I be manually copying that last one over the first two whenever I
update it? They are different sizes and file dates.

Read more here: Source link