Take a look at http://download.opensuse.org/repositories/Kernel:/openSUSE-42.1/standard/x86_64 There, you should be able to fine something like: http://download.opensuse.org/repositories/Kernel:/openSUSE-42.1/standard/x86_64/kernel-default-4.1.37-3.1.g8057033.x86_64.rpm I don't know why your machine doesn't take it. But the newer kernel *is* present.