Here is the link to the rpm of kernel-default: http://download.opensuse.org/ports/zsystems/tumbleweed/repo/oss/s390x/kernel-default-5.13.4-1.1.s390x.rpm