[coreboot] Re: How to access the PCIE device registers at an early stage of coreboot booting?

Wow, thanks! At first glance, it looks like what I need