Re: [Linaro-uefi] [Xen-devel] [PATCH v6 0/4] arm64, xen: add xen_boot support into grup-mkconfig