kernel: Add missing kernel config symbol