[coreboot-gerrit] Patch set updated for coreboot: timestamp: Remove HAS_PRECBMEM_TIMESTAMP_REGION Kconfig