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

the following patch was just integrated into master:
commit ac76ed9998f95cb54d3862ce491402038340e9aa
Author: Martin Roth 
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 
    Reviewed-on: http://review.coreboot.org/12487
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit