[opensuse-factory] VirtualBox VMs freeze host on startup with host Kernel 3.3.0-16