kernel: add some more missing kernel config symbols