http://wikimonks.com/how-to-switch-from-32-bit-to-64-bit-version-of-windows-10/