Some colleagues and me had the same issue.
I just wanted to comment that VirtualBox is now running just fine on our SB laptops. We only had to enable the rpmfusion repos and install the VirtualBox rpm. No additional rpms (such as kernel-devel or akmod-VirtualBox) were needed.
So I would like to thank all who made that possible!