kernel: add some missing config options