[coreboot-gerrit] Patch set updated for coreboot: 7b1e8fe Add host side of serialICE which uses ulinux.