[PATCH 4.14 07/30] arm/xen: fix xen_vcpu_info allocation alignment