corrected kernel config patch