I see. Thanks for this hint, but running zypper install kernel* does not work, because it assumes an internet connection (and the wlan card is the only possible access). I am attaching the output of the command.