LOL... who uses XP-64? Crappy driver support. That's so 2007.

But, anyways.. yes you are correct. XP-64 will report all 4MB.