[openfirmware] [commit] r3631 - cpu/arm/olpc dev