VirtualBox 4,2 килограмма лайтм

Я только что установил VirtualBox4.2 в Ubuntu 13.04. Когда я открываю VirtualBox, все выглядит хорошо, пока я не пытаюсь создать новую виртуальную машину, после чего происходит сбой lightdm, и я вынужден (в конце концов) вернуться к экрану входа в систему.

У кого-нибудь работает VirtaulBox в Ubuntu 13.04 с такой же проблемой? Кто-нибудь знает, как это исправить?

вот что выглядит как переживающий dmesg инфо

[   19.575962] vboxdrv: Found 2 processor cores.
[   19.578171] vboxdrv: fAsync=1 offMin=0x13c76d offMax=0x13c76d
[   19.580595] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   19.580603] vboxdrv: Successfully loaded version 4.2.12 (interface 0x001a0004).
[   19.957340] vboxpci: IOMMU not found (not registered)
[   22.450277] init: plymouth-upstart-bridge main process (1020) killed by TERM signal
[   22.864046] de2104x 0000:01:06.0 eth0: link up, media 10baseT-HD
[   22.864074] IPv6: ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[   25.435531] audit_printk_skb: 78 callbacks suppresse
[   25.435543] type=1400 audit(1367507475.203:38): apparmor="DENIED" operation="open" parent=1366 profile="/sbin/dhclient" name="/var/lib/NetworkManager/dhclient6-eth0.conf" pid=1824 comm="dhclient" requested_mask="r" denied_mask="r" fsuid=0 ouid=0
[  261.756237] warning: `VirtualBox' uses 32-bit capabilities (legacy support in use)