[DEVMGR] Fix reading the device resource lists
For each device we must first try to read its AllocConfig resource list. If its AllocConfig resource list is not available, try to read its BootConfig resource list.
Eric Kohl 9 months ago d8bfa93f 8aab5a9b