VirtualBox not displaying 64-bit

edit

Hello,

New to fedora, I've installed VirtualBox using :

dnf install VirtualBox.x86_64

Then I tried to launch VM using :

VirtualBox

But I got an error message saying I had to run :

dnf install akmod-VirtualBox kernel-devel-4.8.6-300.fc25.x86_64
akmods --kernels 4.8.6-300.fc25.x86_64 && systemctl restart systemd-modules-load.service

which I did.

So now VM is launching. But when I try to create a virtual OS, VM is only displaying 32-bit versions.

How can I make VM display also 64-bit versions ?

Thinkpad X230 / Fedora 25 / Memory: 7.5G / Processor i5-3320 CPU (2.60x4) / OS: 64-bit / Intel Ivybridge Mobile / Gnome 3.22.2