The changes done in the patch include:
1) Support for xmm registers.
   At present xmm registers are not saved/restored during
   ptrace and gdb wont show them. Patch adds new ptrace
   options (IA32_PTRACE_GETFPXREGS and IA32_PTRACE_SETFPXREGS,
   used by gdb to get/set fp+xmm state).
2) Bug fix in getting 'tag' field of fpstate
      (fsr>>16 in place of fsr>>32)
3) Bug fix in calculating fp TOS
   (it is a 3 bit field in fsr. Using (fsr>>11) & 7 in place
    of (fsr>>11) & 3)
Also, I had to add new structures in ia32.h, corresponding to
the way gdb is expecting the data. Gdb uses structures
defined in sys/user.h