vfio: fix build on old kernel