adding avx register support to x86_32 as well as x86_64?