[coreboot] Re: Accessing extended capabilities PCI registers?