Comment # 4 on bug 1184514 from Marcus R���ckert

What do you mean with verify?

i did zypper dup. driver got rebuild after -devel and the kernel-default was
not installed which lead to errors. what more do you need?

Dimstar suggested that this rebuilding of kernel modules could even be moved to
posttrans. though it would mean we need to rebuild the initrd there as well.