I'm sorry I don't know how to upgrade kernel from 5.1.16 to 5.2 on tumbleweed. In 190713 TW based kernel 5.1.16, I think. I am upgrading from 190708 to 190713...