[Linaro-uefi] [PATCH v3 3/4] * util/grub.d/20_linux_xen.in: Add xen_boot command support