AVR support is tricky since requires to run `softmmu` instead of `XXX-linux-user`
AVR support is tricky since requires to run
softmmuinstead ofXXX-linux-user