[coreboot] New patch to review for coreboot: 56c20fc Add timestamp table pointer to the coreboot table.