Re: [PATCH 1/2] xen: Add dependency on armv8