Thanks a lot! I just verified that things are working now, i.e. kernel-default-devel and kernel-devel of GA kernel are autoselected and kernel modules are built against it - and weak modules symlinks created for the update kernel. I noticed that apparently for Leap 15.3 we no longer offer the nVidia repo as Community repository. I'll open a separate ticket for this.