[coreboot-gerrit] New patch to review for coreboot: bb8b768 secmon: allow for serial console