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