kernel: add some missing kernel config options