Update to new CONFIG_KERN.