Update kernel header script to include vfio