I run mushkin pc2 6400 em series.....I run 2x 1gb sticks and 2x 512Mb sticks (3Gb) for win XP.
But then I'm not OC'ing this rig.
I have a set of muskin pc2 extreme redline xp2 8000 that works nicely too....
------
Here's the thing : The x38 chipset is technically only spec'd to run 800 Mhz ram (pc2 6400)....Now this isnt to say it won't run higher , but it's considered an OC'd state at 801.Mhz.......stability not garanteed.
That being said , I'd go with the sticks you think will look best in yer rig.Any one of the ones you have suggested should work.