vfio: Make vfio_device_ops pass a 'struct vfio_device *' instead of 'void *'