[coreboot] Coreboot NB RS780 Routing

[Grant]

Hi all,
 
In my AMD RS780 project, two Marvel Lan chips connect to PCIE GPP port 0&1.
One wireless lan chip connects to PCIE GPP port 2.
 
In AMI BIOS, I see Bus 0 Dev4&5&6.
But in coreboot, I see BUS 0 DEV 9&a. 
 
Is that normal?
 
BR
Grant