Fix 32-bit benchmarks. Update linux/386 results.