[PATCH v4 6/7] vfio: Remove dead code