Re: [coreboot] [PATCH 4/4] pci1x2x: use cardbus_read_resources()/cardbus_enable_resources()