32bit OSes tend to clock a bit higher than 64 bit because you are not stressing a CPU as hard.
XP is this Superpi choice, although you are talking less than a tenth of second improvement. So it is up to you what OS you want to use. If you are trying to get every last ounce of performance, run a multi boot setup