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