[coreboot-gerrit] Change in coreboot[master]: intel/cpu: Switch some models to UDELAY_TSC