XkbChangeDeviceInfo(3) on Linux

The text e4e79be5e51c, as Debian 8 (Jessie) shipped it.

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