An easier way would be just to download the kernel-default-5.17.3*.rpm from the URL you suggested in the above, then install it via zypper like zypper in kernel-default-5.17.3*.rpm Unless your system is Secure Boot enabled, it should work as is.