32 bit işletim sistemlerinin genel bir sorunu, x64 bir işletim sistemi yükle