xen/pciback: use mutex rather than spinlock in passthrough backend