[PATCH 04/11] Don't re-add deleted or hidden devices during DeviceTree.populate.