[PATCH RFC v1 6/6] xen-swiotlb: enable 64-bit xen-swiotlb