I\'m trying to install a linux virtualbox, but the virtualbox is ony proposing me 32bits distributions and I need the 64bits one. I\'ve gone to the BIOS and enable the optio
