Есть ноутбук Clevo E4105 (спецификации тут). Внутри сейчас стоит памяти на 1 ГиБ. Но при загрузке ядро говорит, что
[ 0.000000] Memory: 752824k/778240k available (2617k kernel code, 21836k reserved, 1377k data, 360k init, 0k highmem)
Насколько я понял, встроенное видео у Intel умеет динамически менять размер выделенной памяти, даже есть параметр в xorg.conf. Я его попробовал, не работает.
Как отвоевать эти 256 МиБ?