[openfirmware] [commit] r3588 - cpu/x86/pc/olpc