vfio: fix build with Linux < 4.0