update kernel config for trebon