[sogno] update kernel