Restore the R4.0 method of booting Xen on EFI. This occurs alongside the new grub-efi boot mechanism.