[coreboot-gerrit] Change in coreboot[master]: intel/socket_mPGA604: Enable TSC_MONOTONIC_TIMER