[coreboot-gerrit] Change in coreboot[master]: intel/cpu: Switch older models to TSC_MONOTONIC_TIMER