changed kernel config name