Sun Fire V40z, большой разрыв между объемом памяти, сообщаемым dmidecode, и тем, что видит ядро ​​Linux

Я слежу за V40z (заемщик), работающим с RHEL 4.8 (нет, я не могу его обновить, это заемщик), который согласно dmidecode имеет 8 модулей DIMM по 2048M каждый, что составляет 16 ГБ ОЗУ, насколько я Я обеспокоен.

Однако ядро ​​сообщает об общем объеме памяти

cat /proc/meminfo 
MemTotal:     14898844 kB

Теперь, на машинах с интегрированными графическими чипсетами, я видел, что память в диапазоне от 128 до 512 МБ "пропадала", но что могло бы объяснить это огромное расхождение на сервере? Насколько я вижу, ему не хватает 1.8G.