[coreboot-gerrit] Patch merged into coreboot/master: coreinfo: Allow numbers in addition to F keys

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit c2b50ace1b04c90c27dae8d5999c14f925b93c65
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Fri Mar 11 23:17:28 2016 -0800

    coreinfo: Allow numbers in addition to F keys
    
    When using coreinfo on a serial console (at least
    with gtkterm, picocom and minicom on Ubuntu 15.10)
    you can't send F keys to the payload. Allow 1..9
    for F1..F9
    
    Change-Id: Ie3a11fa1de57c7345737a1ccaff177f407cd5e48
    Signed-off-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Reviewed-on: https://review.coreboot.org/14065
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/14065 for details.

-gerrit