fixed kernel config file path