Re: [Linaro-uefi] [PATCH v2 0/3] arm64: Add multiboot support (via fdt) for Xen boot