The text 4978f4b3eb4e, as Debian 10 (Buster) shipped it.
delete a child from a device
device_delete_child(9freebsd) on Linux now
