[PATCH v4 0/7] Make the rest of the VFIO driver interface use vfio_device