After a bit of post-initial tuning, the 64bit hw platform now just as good as the 32bit one (it just eats more memory). I've tested in qemu, virtualbox and on my laptop, and all tests pass on Travis.
