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