x86: xen: size struct xen_spinlock to always fit in arch_spinlock_t