CONFIG_KERN: rename from CONFIG_KERNEL for consistency