[coreboot-gerrit] Patch merged into coreboot/master: console: Add help for serial IO port selection

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ac76ed9998f95cb54d3862ce491402038340e9aa
Author: Martin Roth <martinroth at google.com>
Date:   Thu Nov 19 11:40:43 2015 -0700

    console: Add help for serial IO port selection
    
    Add help and a comment about the serial IO port selection to give the
    user better feedback when a port index is selected.
    
    Change-Id: I4c1614be51aee0286308fbc5c24554e218120bf7
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: http://review.coreboot.org/12487
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/12487 for details.

-gerrit