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.
1 This is NOT the official version of dialog. This version has been
2 significantly modified from the original. It is for use by the Linux
3 kernel configuration script. Please do not bother Savio Lam with
4 questions about this program.