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