die 3,52 sind ganz einfach ein zahlendreher, denn 3,25 würde stimmen^^
32bit versionen können nur 4gb (abzüglich aller hardware etc. dann 3,25) verwalten.
zu deinem problem: schalte mal eist im bios aus bzw stelle mal im energiemanagement auf dauerbetrieb und schau dann nochmal mit cpu-z nach...