[PATCH 4.19 56/71] efi: avoid error message when booting under Xen