Anybody using FC4 64 on a Dual (or more) Opteron 64 bit server? I have 12GB of memory installed which was all seen with FC3/64 but upgrading to FC4 it now only can use 8GB. I added the mem=12288M in the Grub kernel parms. Memory: 7993228k/12582912k available (2434k kernel code, 0k reserved, 1292k data, 228k init)