Is het omdat het testsysteem Linux Mint is?
Om 64 bit in virtualbox te draaien moet in de BIOS VT-X AMD-V enabled zijn. Dat is mijn ervaring.
$ inxi -CCPU: Topology: Quad Core model: Intel Core2 Quad Q6600 bits: 64 type: MCP L2 cache: 4096 KiB Speed: 2274 MHz min/max: 1603/2403 MHz Core speeds (MHz): 1: 2383 2: 2391 3: 2394 4: 2394
lscpu