[openfirmware] r876 - cpu/x86/pc