add missing kernel config symbols