[coreboot] Patch set updated for coreboot: 8cdfe4b Add timestamp table pointer to the coreboot table.