renamed kernel config to fit everything else