Re: [SeaBIOS] [coreboot] Add IDE_TO_AHCI config