kernel: add missing config option.