When I start VirtualBox, I only have 32 bit operating systems available. After some research I followed the steps on another post but to no avail. My host OS is 64 bit, Intel Virtualization Technology and VT-d are both enabled in the BIOS, and Hyper-V platform is disabled in the Windows Feature list, yet I still only am presented 32 bit operating systems.
I find these same instructions in many places and they seem to solve the problem for everyone, but not for me.
I also tried repairing the installation without luck. How can I fix this to run a 64 bit Linux OS in VB?
EDIT I also have the latest version of BIOS.
Edit: This question is not a duplicate of this other question as I state that the solution to that question did not solve this problem.

