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 <>
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <>
1 file changed