Does anyone have a link to a binary that has x64 specified as the target architecture type? Or should I force the x32 binary that is on the nokia site?

I've just been messing with my 2nd n900 and have bricked it, time for a reflash...