Re: [coreboot] External flashing PCI-e RAID card firmware