Interesting. The latest 4.1.x kernel for openSUSE Leap is found in OBS Kernel:openSUSE-42.1 repo. Currently it's 4.1.15, too. http://download.opensuse.org/repositories/Kernel:/openSUSE-42.1/standard/ Please give it a try.