My Tumbleweed went on a few latest upgrades in past a few weeks, and there're latest kernel versions installed during those upgrades - the latest version instelled is 5.2.2-1.2 as I checked with zypper se -si 'kernel*'. However, at each boot since the upgrades, the kernel version at boot window is still version 5.1.16, no 5.2.x versions shown at boot window to choose from. My question is how to activate the latest kernel version installed on the system and make it the default kernel at the boot.

Thanks for any tips.