buildbot: flip x32 and x64 builds,
seems we have 10 times more x64 linux users than x32