Колегата е малко краен.
Явно искаше да каже, че ако си потърсил в Google и на сайта на производителя, а не си намерил решение, доста е съмнително, че тукашните професори ще се по-светнати.
Общо взето, щом в BIOS няма опция за определяне на заделената памет, то тя най-вероятно се определя като % от оперативната
примерно при 512 МБ/ 64 за видеото
при 1024/128
и при 2048/256
Windows-a тук няма как да пипа, щото иначе няма да ти работи Linux-a.