add working kernel config file