Re: [coreboot] SeaBIOS and boot of SATA raid card