add missing kernel config symbol