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