corrected kernel config