[openfirmware] r1425 - cpu/x86/pc/olpc/via