Add an option for those having the kernel headers pre-installed from a customised local tree.
In that case, neither download, nor extract, nor patch.

 source config/global.in

 source config/target.in

 source config/kernel.in

 source config/binutils.in

 source config/cc.in

 source config/libc.in