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