Add avx1-i32x4 to the list of supported targets