As already mentioned, install the kernel from OBS Kernel:stable repo. It can be downloaded at http://download.opensuse.org/repositories/Kernel:/stable/standard/ Also, don't paste but use attachments.