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