use appropriate kernel config file