kernel: clean-up build-configurable kernel config symbols