Merge pull request #3280 from YosysHQ/micko/fix_readaiw