Comment # 23 on bug 1132941 from Tam�s N�meth

(In reply to Larry Finger from comment #22)
> (In reply to Tam�s N�meth from comment #21)
> > This one is fixed. However, virtualbox-host-kmp-default is built for an
> > incorrect kernel version now, but it can be fixed by compiling the kernel
> > modules from the package virtualbox-host-source. Thank you Larry for the
> > interim solution.
> 
> I just did a zypper dup to Tumbleweed snapshot 20190604. The correct kernel
> modules were included. I'm not sure what happened to you, but it should be a
> one-off problem.

OK, a further update solved the problem. Before this very last update
virtualbox-host-kmp-default was built for kernel 5.1.4, but the latest on is
for the current 5.1.5.