[coreboot] Patch merged into coreboot/master: 8cdfe4b Add timestamp table pointer to the coreboot table.