[coreboot-gerrit] Patch set updated for coreboot: 9394d31 Add TCPA table.