The text b5c1abc592e0, as Debian 7 (Wheezy) shipped it.
search for a child of a device
device_find_child(9freebsd) on Linux now
