[coreboot] Test SeaBIOS AHCI support