Вот такая проблема:
#vboxbuild
:: Recompiling VirtualBox kernel modules (3.4-pf) [DONE]
# modprobe vbox
ERROR: could not insert 'vboxdrv': Exec format error
ArchLinux x86_64 +pf-linux path