update kernel config filename