Seem to be having a problem on a Dual Opteron PC with 12GB of memory on a Tyan S2880 MB. With FC3 all 12GB was seen and usable but when I upgraded to FC4 only 8GB is seen by the OS. Anybody have similar issues?