kernel: add missing kernel config symbol