Fix kernel headers