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