Update notes for submitted changes

* Some clean up to devicekeyhandle commits
* input: Add workaround for broken hardware keyboard support
* DeviceKeyHandle: The device should consume only known keys
* Dispatch keys to a device specific key handler
* Fix a programmatic smooth scroll bug