After installation and booting into the new system, I did observe the following output from dmesg:
[ 0.242351] pci 0000:00:00.0: [Firmware Bug]: reg 0x1c: invalid BAR (can't size)
The lspci -v command reports the following for PCI 0:
00:00.0 Host bridge: Advanced Micro Devices, Inc. [AMD/ATI] RD780 Host Bridge
Subsystem: Advanced Micro Devices, Inc. [AMD/ATI] RD780 Host Bridge
Flags: bus master, 66MHz, medium devsel, latency 32, NUMA node 0
Memory at <ignored> (64-bit, non-prefetchable)
Capabilities: [c4] HyperTransport: Slave or Primary Interface
Capabilities: [40] HyperTransport: Retry Mode
Capabilities: [54] HyperTransport: UnitID Clumping
Capabilities: [9c] HyperTransport: #1a
It is not clear if there is any consequence to this "Firmware Bug." Please let me know if you have any suggestions for debugging this further.