Windows 10 virtualbox only showing 32 bit