updated kernel config name