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