[coreboot] Accessing extended capabilities PCI registers?

[Rafael Send]

Hi,
Breaking this out from my other email for title clarity purposes, hope
that's ok.

Anyway, I think my issue comes down to coreboot not being able to access
(?) PCI extended registers in the current setup.

I guess this is a general question: CAN coreboot access the extended
capabilities registers of PCI devices? If yes, are there any special
options that need to be set or adjusted during the build?

I've attached a "pci -i" dump from the EFI shell for my device on stock
BIOS vs coreboot - as one can see, the coreboot log ends before outputting
any of the extended registers whereas the BIOS log dumps the full config
space.

Any ideas for what I could try here, or reasons why it might not (be
expected to) work?

Cheers,
R