[coreboot-gerrit] Patch set updated for coreboot: fab4614 cpu/amd/agesa/Kconfig: Select LAPIC_MONOTONIC_TIMER