Ubuntu 18.04 не видит все оперативной памяти

Я испытываю что-то странное: у меня установлено 12 ГБ памяти, UEFI распознает их, но Ubuntu только сообщает мне, что доступно 8 ГБ.

Обновление 1 : смена банков влияет на результат. Похоже, что Ubuntu 18.04 обнаруживает только то, что находится в банке 1 и 2. Если я выполняю настройку ABAB, у меня есть только 6 ГБ, когда я делаю AABB, я получаю 8 ГБ, когда кладу их в BBAA, у меня только 4 ГБ. Но то, что я нахожу действительно пугающим, - то, что ядро ​​получает 12 ГБ в этой первой строке.

Теперь я обнаружил следующее: Когда я делаю доступную память Journalctl | grep. *, Я получаю следующий вывод

Jun 26 23:08:29 kodi-desktop kernel: Memory: 12159232K/12538600K available (8613K kernel code, 1335K rwdata, 4028K rodata, 1484K init, 1284K bss, 379368K reserved, 0K cma-reserved)
Jun 28 15:30:36 kodi-desktop kernel: Memory: 3901276K/4149992K available (8613K kernel code, 1335K rwdata, 4028K rodata, 1484K init, 1284K bss, 248716K reserved, 0K cma-reserved)
Jul 03 20:04:16 kodi-desktop kernel: Memory: 3901276K/4149992K available (8613K kernel code, 1335K rwdata, 4028K rodata, 1484K init, 1284K bss, 248716K reserved, 0K cma-reserved)
Jul 03 20:25:09 kodi-desktop kernel: Memory: 8030040K/8344296K available (8613K kernel code, 1335K rwdata, 4028K rodata, 1484K init, 1284K bss, 314256K reserved, 0K cma-reserved)
Jul 03 20:32:45 kodi-desktop kernel: Memory: 8014192K/8344296K available (12300K kernel code, 2473K rwdata, 4272K rodata, 2408K init, 2416K bss, 330104K reserved, 0K cma-reserved)

Обратите внимание, как меняется первая доступная память. В последней строке указано ядро ​​ядра 12300K. но доступного кажется меньше. Любые идеи о том, как сделать все 12 ГБ доступными?

Я запускаю на этом докер, но, учитывая, что это происходит из-за загрузки, это не должно мешать, так как докер не загружен.

Я использую 4.15.0-54-generic

вывод free -m -t -t -h

                  total        used        free      shared  buff/cache   available
Mem:           7.7G        2.4G        1.8G         13M        3.5G        5.0G
Low:           7.7G        5.9G        1.8G
High:            0B          0B          0B
Swap:          4.0G          0B        4.0G
Total:          11G        2.4G        5.8G

Output of 
lshw | grep product | head -n1 && sudo dmidecode -s bios-release-date && sudo dmidecode -s baseboard-product-name && sudo dmidecode                               -s baseboard-manufacturer
    product: To Be Filled By O.E.M. (To Be Filled By O.E.M.)
05/31/2016
970 Pro3 R2.0
ASRock

Может быть важно знать: это dist-upgrade с Ubuntu 16.04 до 18.04 (LTS) я получил полные 12GB 16.04. Это мой домашний сервер, поэтому я не могу его переустановить.

UEFI показывает 12GB для.

 lshw -C memory
  *-firmware
       description: BIOS
       vendor: American Megatrends Inc.
       physical id: 0
       version: P2.80
       date: 05/31/2016
       size: 64KiB
       capacity: 4032KiB
       capabilities: pci upgrade shadowing cdboot bootselect socketedrom edd int13floppy1200 int13floppy720 int13floppy2880 int5printscreen int9keyboard int14serial int17printer acpi                                                        usb biosbootspecification uefi
  *-cache:0
       description: L1 cache
       physical id: 5
       slot: L1-Cache
       size: 288KiB
       capacity: 288KiB
       clock: 1GHz (1.0ns)
       capabilities: pipeline-burst internal write-back unified
       configuration: level=1
  *-cache:1
       description: L2 cache
       physical id: 6
       slot: L2-Cache
       size: 6MiB
       capacity: 6MiB
       clock: 1GHz (1.0ns)
       capabilities: pipeline-burst internal write-back unified
       configuration: level=2
  *-cache:2
       description: L3 cache
       physical id: 7
       slot: L3-Cache
       size: 8MiB
       capacity: 8MiB
       clock: 1GHz (1.0ns)
       capabilities: pipeline-burst internal write-back unified
       configuration: level=3
  *-memory
       description: System Memory
       physical id: e
       slot: System board or motherboard
       size: 12GiB
     *-bank:0
          description: DIMM DDR3 Synchronous Unbuffered (Unregistered) 1333 MHz (0.8 ns)
          product: F3-1600C11-4GIS
          vendor: Undefined
          physical id: 0
          serial: 00000000
          slot: A1_DIMM0
          size: 4GiB
          width: 64 bits
          clock: 1333MHz (0.8ns)
     *-bank:1
          description: DIMM DDR3 Synchronous Unbuffered (Unregistered) 1333 MHz (0.8 ns)
          product: F3-1600C11-4GIS
          vendor: Undefined
          physical id: 1
          serial: 00000000
          slot: A1_DIMM1
          size: 4GiB
          width: 64 bits
          clock: 1333MHz (0.8ns)
     *-bank:2
          description: DIMM DDR3 Synchronous Unbuffered (Unregistered) 1333 MHz (0.8 ns)
          product: 9905402-421.A00LF
          vendor: Kingston
          physical id: 2
          serial: 6F1E114B
          slot: A1_DIMM2
          size: 2GiB
          width: 64 bits
          clock: 1333MHz (0.8ns)
     *-bank:3
          description: DIMM DDR3 Synchronous Unbuffered (Unregistered) 1333 MHz (0.8 ns)
          product: 9905402-421.A00LF
          vendor: Kingston
          physical id: 3
          serial: 701E074B
          slot: A1_DIMM3
          size: 2GiB
          width: 64 bits
          clock: 1333MHz (0.8ns)

Моя графическая часть - GTX1050. поэтому память из ОЗУ не используется. Встроенный компьютер 5 x 1 ТБ WD-диск для ZFS Raid5 (4 + 1 запасной) 1 x ssd 128 ГБ для системного диска 1 x 1 ТБ для резервного копирования FX6300 CPU + кулер zalman Pro970 ASRock Материнская плата 4 флеш-памяти (2x2 + 2x4) RU) Coolermaster 280, корпус 2, 120-мм вентиляторы GTX1050

С уважением,