kernel: add missing config option