[PATCH 4.19 10/71] arm/xen: fix xen_vcpu_info allocation alignment