I made that mistake initially, and then saw the "_64" in ISO filename. But still couldn't make it work on an Ubuntu host, only on a Win7 host. I suspect it was a Virtualbox bug.

Probably not the virtualization but rather the hardware support of the OS.

I tried booting it on 2 physical machines - It runs on my NUC but crashed on my laptop.