kernel: add missing config options