Right. So there are two indicators that Innie uses: "IOPCIConfigured" and "IOPCIResourced". The assumption is that if the "built-in" property is set before the rest of the tree is ready, then the corresponding internal properties are automatically applied, but this is clearly not the case. Innie still needs to apply them. If enough of the tree is present, then the issue is easy to fix. On the other hand, the indicators don't tell the whole story. It's possible for a device (often behind multiple bridges) to still appear afterwards. This is where we need to resort to heuristics, such as delays and iterations through the I/O Registry, being careful not to impact the boot process...