Fred . wrote:
Since we already have support for 32-bit PCI, then it would be great if 64-bit PCI support could be added if it perhaps only require a slight modification to the existing code.
You have misunderstood. The release notes refer to 32bit PCI BIOS, in this case the CPU mode, and has nothing to do with bus width.
//Peter