Huh. Someone else had a very similar issue recently: Only 2.2GB of 32GB of RAM available on most boots