(In reply to Stefan Dirsch from comment #43) > So it seems users are updating kernel-default, but not kernel-default-devel. Hm, zypper dup should resolve/force this. Maybe it does not?