[openfirmware] r1142 - cpu/x86/pc