VirtualBox: 64bit build, fixed build, cleanup

We finally have VirtualBox support for 64 bit.
This actually was a small change and results in
the simulator not being able to handle 32bit perfectly
anymore, but at least it compiles on 64bit lunar boxes.