Because it is important long term for simplifying hardwaremain.c I have checked in the new pci code. Except for packing resources more tightly and possibly being a little smaller it should behave as well as the old code.
All PCI memory resources are now pushed as close to 4GB as is possible. The old behavior is available with by setting ``PCI_ALLOCATE_TIGHT'' to 0 in pci.h I have also reverted Rons change to the jmp_to_elf_entry prototype in elf.h so the code can actually compile, and remove a couple of duplicates from hardwaremain.c Eric
