[coreboot-gerrit] Patch set updated for coreboot: 7788807 Remove leftover smi_get_tseg_base