add missing kernel kernel config symbol