replaced kernel config file