Fix kernel config