user32: Notify the user driver of hotkey changes.