Fixing some 8242 key encodings (used by the SGI O2 mode).
Authored by: debug 2018-10-19
Parent: [r6046]
Child: [r6048]
