В ОС обнаружен неправильный объем оперативной памяти

У меня есть Thinkpad Edge E430. По умолчанию был установлен один модуль оперативной памяти 4 ГБ, и я заменил его на два одинаковых модуля по 4 ГБ каждый. Прошло много времени с тех пор, как я это сделал, и теперь я заметил, что операционные системы (Arch Linux и Windows 10, обе x64) показывают только 5,7 ГБ, и я не помню, работало ли это тогда. BIOS показывает 8 ГБ, поэтому я не вижу, в чем проблема. Извините, если об этом спрашивали раньше, но я не могу найти решение.

dmidecode показывает это:

Handle 0x000C, DMI type 17, 34 bytes
Memory Device
        Array Handle: 0x000B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 4096 MB
        Form Factor: SODIMM
        Set: None
        Locator: ChannelA-DIMM0
        Bank Locator: BANK 0
        Type: DDR3
        Type Detail: Synchronous
        Speed: 1600 MHz
        Manufacturer: 859B
        Serial Number: 00000000
        Asset Tag: None
        Part Number: CT51264BF160BJ.M8F
        Rank: Unknown
        Configured Clock Speed: 1600 MHz

Handle 0x000D, DMI type 17, 34 bytes
Memory Device
        Array Handle: 0x000B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 4096 MB
        Form Factor: SODIMM
        Set: None
        Locator: ChannelB-DIMM0
        Bank Locator: BANK 2
        Type: DDR3
        Type Detail: Synchronous
        Speed: 1600 MHz
        Manufacturer: 859B
        Serial Number: 00000000
        Asset Tag: None
        Part Number: CT51264BF160BJ.M8F
        Rank: Unknown
        Configured Clock Speed: 1600 MHz

PS: BIOS должен быть в курсе

Скорее всего, ноутбук выделяет оперативную память в качестве видеопамяти. Сейчас у меня нет доступа к компьютеру для поиска, только с помощью телефона, но у Lenovo должны быть утилиты, позволяющие вам настраивать объем памяти, выделяемой для видеопамяти.

РЕДАКТИРОВАТЬ: Ну, нет, спасибо за понижение голосом кого-то, кто не знает, как работают ноутбуки, но термин Google будет «общая видеопамять». Это очень распространено.

Основываясь на результатах исследований, он может быть настроен с помощью иконки в системной панели Intel. Похоже, что либо Диспетчер устройств, либо диагностика DirectX могут получить подробные сведения о том, какой объем общей памяти сконфигурирован.