[openfirmware] r1143 - cpu/x86/pc/olpc