vfio: get rid of open-coding kref_put_mutex