device_add_child_ordered(9freebsd) on Linux

The text 5e591020f2e2, as Debian 7 (Wheezy) shipped it.

add a new device as a child of an existing device

device_add_child_ordered(9freebsd) on Linux now