Eric Botcazou Sat, 28 Jul 2007 11:29:31 -0700
The default cpu is v8plus.
v9 actually, which automatically enables the V8+ stuff in 32-bit mode.
-- Eric Botcazou