fix kernel config file