Re: [Linaro-uefi] [PATCH 2/3] * util/grub.d/20_linux_xen.in: Add support of the xen_boot command