https://digitalixy.com/tech/maude/228042/how-to-switch-from-32-bit-windows-10-to-64-bit-windows-10/