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

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

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

-gerrit