update trebon kernel config