[openfirmware] r1125 - cpu/x86/pc