Fix an error in previous commits: 4.2-STABLE that was fetched before Feb 2nd, 2001 does NOT recognize KERNCONF option.
Pointed out by: mheinen