full tree recompilation support

These are the last pieces for supporting a header file change which triggers a full recompilation of the kernel tree.