[openfirmware] r1273 - cpu/x86