simplified avx detection on Linux