XkbChangeDeviceInfo(3) on Linux

The text 2066babb561c, as Debian 10 (Buster) shipped it.

Update the server's description of a device with the changes noted in an XkbDeviceChangesRec