I just let the kernel upgrades that come from the repos install, and don't use startup manager, so I never have problems. I am not familiar with the method in the link to be honest. Looks correct though there is a kernel repo that will have various releases including the latest I don't have the the http though.
Did you remove or add any partitions right before this or at some time before rebooting, that will change the partition numbers.
Bookmarks