Re: initial amd64 support for rumprun/hw

[Antti Kantee]

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.