[boost] building 32-bit boost on an AMD Opteron?