kernel: add missing config symbol