fix kernel config