[coreboot-gerrit] Patch set updated for coreboot: f5877f0 siemens/sitemp_g1p1: Fix serial output for simo board