On Sat, 29 Sep 2018, Jared McNeill wrote:
For > 8 CPUs, you can try adding "-machine gic-version=3", but I was unable to get it to work. Will keep looking into it.