[coreboot-gerrit] New patch to review for coreboot: c5bce72 fsp_baytrail: Set FSP TSEG size by the Kconfig choice