Use kernel headers