[opensuse] Virtualbox 64bit guests?