[coreboot-gerrit] Patch set updated for coreboot: fa3ff81 cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER