That is really strange. You didn't need to do anything to get cpuid.avx
recognized. So running an older kvm on newer hardware will happily
expose avx even though it's not supported.
We screwed up - we should have made cpuid.avx dependent on vendor support.
The patch itself looks fine, I just want to understand this point first.
error compiling committee.c: too many arguments to function