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