tianchi: update kernel config