https://amin-ahmadi.com/2015/09/11/how-to-fix-virtualbox-showing-only-32-bit-versions-of-operating-systems/