Download kernel-default.rpm from http://download.opensuse.org/repositories/Kernel:/stable/standard/ instead. Note that it's an unofficial build, hence it won't boot with Secure Boot.