[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 correctly, the Pi still boots into the old kernel. How do I make it boot into the new kernel? Regards, Olav -- To unsubscribe, e-mail: opensuse-arm+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-arm+owner@opensuse.org