The command line parameter fixes it, thank you! I've never installed a kernel outside of zypper dup, do I simply download the .rpm and install it as normal, then choose the kernel from e.g yast? And is this the best choice to use: kernel-default-6.1.0-1.1.gc3232e1.x86_64.rpm ? Thanks for your help.