[coreboot-gerrit] Patch merged into coreboot/master: Set the fsb timer correctly for Netburst CPUs