Is there a very fast bootloader available (in source code) that brings up a DM8147 as a PCIe slave and configures PCI Hardware IDs? The DM8147 is on a PCIe card designed to be plugged in to a host x86 PC. The TI published uboot based bootloader works, but is too slow to load and run relative to the BIOS PCIe enumeration of a modern PC.