I just noticed that we have MAX_PCI_REGIONS set to 7. On FSL 85xx/ 86xx parts we can have as many as 9 windows. Should I just bump the # of regions to 9 for everyone or #ifdef based on CONFIG_85xx/CONFIG_86xx? - k