[coreboot] how to change PCI device's PFA

[Hilbert Tu(杜睿哲_Pegatron)]

Hi,

In my devicetree.cb of Intel Harcuvar CRB, I see the following PCI configuration:
device pci 14.0 on end # SATA Controller 1
device pci 15.0 on end # XHCI USB Controller

Can I change the device number for each different PCI device? For example,
device pci 16.0 on end # SATA Controller 1
device pci 17.0 on end # XHCI USB Controller

Is this PCI enumeration same in Coreboot and kernel? Or can I change it dynamically?

Thanks.
-Hilbert
This e-mail and its attachment may contain information that is confidential or privileged, and are solely for the use of the individual to whom this e-mail is addressed. If you are not the intended recipient or have received it accidentally, please immediately notify the sender by reply e-mail and destroy all copies of this email and its attachment. Please be advised that any unauthorized use, disclosure, distribution or copying of this email or its attachment is strictly prohibited.
本電子郵件及其附件可能含有機密或依法受特殊管制之資訊，僅供本電子郵件之受文者使用。台端如非本電子郵件之受文者或誤收本電子郵件，請立即回覆郵件通知寄件人，並銷毀本電子郵件之所有複本及附件。任何未經授權而使用、揭露、散佈或複製本電子郵件或其附件之行為，皆嚴格禁止。