device_add_child_ordered(9freebsd) on Linux

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

add a new device as a child of an existing device

device_add_child_ordered(9freebsd) on Linux now