I doubt you do have a 64 bit os.
Since when using a 32 bit os with 4Gb of memory it also reports 3.25Gb
usable.
So I would double check you do indeed have a 64 bit version of windows installed.
If you have go into the bios and have a look for an option that says memory remapping mode. If it is turned off, turn it on.
Save the settings before exiting the bios and then use windows system info to verify 12Gb of memory is populated.