configure: autodetect avx support, and keep enable/disable-avx to enforce things