XkbChangeDeviceInfo(3) on Linux

The text 7851628a568e, as Debian 11 (Bullseye) shipped it.

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