I have the same problem with my P55A UD3 board, latest F8 BIOS, with two 2GB sticks of 1333MHz Corsair XMS RAM, and with only 2GB usable, except rather weirdly, this only happens on first boot up. After that, it shows and uses the full 4GB absolutely fine. If I turn off, and cycle the power...