[opensuse-arm] How to upgrade kernel on Raspberry Pi

Hi, I've got a Raspberry Pi running openSUSE Factory. The kernel is kernel-raspberrypi-3.11.4-1.7.armv6hl Recently, a new kernel update was installed: kernel-raspberrypi-3.11.4-10.1.armv6hl However, even though the new kernel seems to be installed correctl...