[openfirmware] [commit] r3789 - cpu/arm