I noticed somehow on one installed VirtualBox that when adding a workstation, you can select the type of system only 32-bit. To solve this problem, first of all you need to restart your computer an…