Move tfile-avx.exp to tracefile-pseudo-reg.exp