Re: [PATCH] rpm: Enable Xen support on AArch64