renamed kernel config