[PATCH 54/72] efi: avoid error message when booting under Xen