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