[coreboot-gerrit] New patch to review for coreboot: ed29fef cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER