[coreboot-gerrit] Patch set updated for coreboot: [not for merge]src/cpu/intel: Add Pentium 4 model F6x