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