hook script to generate kernel headers