[PATCH v5 01/17] arm: initial Xen support