[openfirmware] r862 - cpu/x86/pc/olpc dev/olpc/kb3700