[coreboot] [commit] r5858 - trunk/src/cpu/intel/model_f2x