Use kernel headers (flintman)