Hab nun mal ein Biosupdate drüberlaufen lassen, wodurch mein kleines Problem leider immernoch nicht gelöst wurde. Erkannt werden immernoch nur 4GB (auch im Bios).
Ja, das ist aktiviert! Wenn das aus wäre, würden ja auch nur 3,25GB RAM als verwendbar angezeigt werden. Aber ja, habs nochmal...