Moin,
Meiner Meinung nach kann HyperMemory (eigentlich) auch der zusätzlichen Grafikkarte wie der HD 3470 zugewiesen werden. Zumindest habe ich das schon öfter gelesen. Und normalerweise kann man das in der BIOS einstellen, oder es ist vom Hersteller fest vorgegeben.
Naja, ich hab dem...