Your 3.5 gig is cos your on XP32, it maxes at 4 gig but shows 3.5 as thats what windows has reserved for itself