Schau mal bei Intel ins Datenblatt des Chipsatzes, da sollte die maximal adressierbare Speichermenge stehen. Ich hab momentan keine Zeit dafür. Aber vielleicht findet sich ja jemand anderes.
Heißt dann allerdings noch nicht, dass es z.B. BIOS-seitig auch funktioniert. Ist aber ein Ansatz.