The text a5233d49919e, as FreeBSD 11.1-RELEASE shipped it.
delete a child from a device
device_delete_child(9) on FreeBSD now