[PATCH] Use device_for_each_child() to unregister devices in nodemgr_remove_host_dev()