kernel headers and build fix