[coreboot-gerrit] Patch set updated for coreboot: b2f8f76 mainboards/lenovo/t400: Enable serial debug option for use with dock