Дошли руки до приобретенного по случаю бука Samsung NP355V5C-S0ERU. Водрузив на него Linux Mint 17.2 KDE(64-bit) обнаруживаем, что все прекрасно: вайфай вайфует, картридер картридерит, Fn немношк не Fn-нит, но лечится переназначением клавиш. Все хорошо, но есть один момЭнт. Установлено 2 планки памяти по 4 Гб. (Да идентичные, да менял местами, да чистил ластиком, да танцевал голым с бубном над ними в полнолуние, направив их выемками на восток.) Система видит только 3,5.

В bios нет «64G, remap» и прочих очевидных способов манипуляции с памятью. «free -m» утверждает,что 3,5 Гб. «lshw» , насмехаясь, говорит, что две планки по 4. итого 8 Гб.

Бубунты, Суси, Демьяны, устанавливаемые в качестве поиска потерянных гигабайтов, результата не дали - везде 3,5. Офтопик видит 8 Гб.

Вопрос - куда копать, где искать заблудившуюся память?