Enabling running 64 bit OS in Virtualbox

This thread shows how to enable running 64 bit OS in Virtualbox,

Before doing that, I googled: "using virtualbox to install linux" and Google spit out this

The option was available after a reboot.