ISO tree doesn't have kernel headers