Re: [coreboot] PCI register read/mod/write code