Re: [Linaro-uefi] [PATCH v2 2/3] util/grub.d/20_linux_xen.in: Add arm64 support