the pro board does not have that setting in the bios.

i think there is a way to mod the boot.ini to get more memory recognized...why don't you flash back to see if you get back the additional memory...supposedly windows 32 bit is limited to 3gb's of memory or there abouts.