[coreboot] Patch merged into coreboot/master: b60dd4e Synchronize rdtsc instructions