Auto-insert kernel source in header files