[U-Boot-Users] Re: Hardhat Linux over-riding u-boot IRQ/ PCI configuration mappings