When I thought about these things, what concerned me is dependencies between a device and its non-child consumers.
With parent-child relationships many ordering things are obvious.
But with arbitrary relations something may not be set-up enough or already torn down etc.

I think that Linux has a concept of devlink or something like that.
It's a way to register producer-consumer (or some other kind) dependencies between devices and can be thought of as a generalization of parent-child dependencies.
That the dependency graph can be topologically sorted so that devices are initialized and torn down in the correct order.

In the end, I support this change but I think that it can open dangerous holes without additional dependency mechanism.