Re: [coreboot] Test SeaBIOS AHCI support