Re: [coreboot] [PATCH 1/4] pci1x2x: use devicetree register configuration