kernel: add some config options