i don't know if it would work well or even well or even at all... but see if you can flash through virtualbox with a 32bit system.