Update avx_ia64.go