[coreboot-gerrit] New patch to review for coreboot: 87328ba Remove leftover smi_get_tseg_base