kernel: add missing config symbols