[Linaro-uefi] [PATCH 0/3] arm64, xen: add xen_boot support into grup-mkconfig