Add default kernel config file