Yes, that's what I'm doin too. Im installing the all those inside the prowinx64. I had no issue to get this machine working with the 32bits version. From what I read and tested, it's not possible to install a 64bits Windows from a 32bits WinPE. Thanks