https://ixnfo.com/en/why-in-virtualbox-you-cannot-choose-64-bit-versions.html