[keenerd]

These 64 bit Allwinner SOCs only have a 32 bit* memory bus anyway (presumably to reduce board cost), so an x32 mode could double performance for pointer-heavy code.

* Anyone remember the 8088?