Generic keyboard / terminal: added function keys. Clean build needed.
Values are 0x81 to 0x8c (F1 to F12)
If CTRL pressed, add 0x10
If SHIFT pressed, add 0x20
This gives 48 new keys for special terminal functions, etc.