kernel/vfio: some more cleanup

4 jobs for feature/dma-and-memory in 5 minutes and 28 seconds (queued for 3 seconds)