kernel: add a few more missing config symbols