XkbChangeDeviceInfo(3) on Linux

The text adda7d694b27, as Debian 9 (Stretch) shipped it.

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