As indicate in the subject line, it seems that Virtualbox does not work after the lates kernel update. Of course I ran vboxconfig; the issue is: when I start virtualbox from desktop or terminal, it does not start. That is, there is no Virtualbox GUI coming up. In the terminal, I do not get any error messages; instead it seems that a thread is started, but it does not appear to run visibly ... (That's why I cannot contribute any logs or messages).

Any hints what might go wrong here? Thanks!