FreeBSD reports incorrect amount of memory

[Dieter BSD]

# dmidecode 2.11
SMBIOS 2.2 present.

Handle 0x0005, DMI type 5, 24 bytes
Memory Controller Information
        Error Detecting Method: 64-bit ECC
        Error Correcting Capabilities:
                None
        Supported Interleave: One-way Interleave
        Current Interleave: One-way Interleave
        Maximum Memory Module Size: 4096 MB
        Maximum Total Memory Size: 16384 MB
        Supported Speeds:
                70 ns
                60 ns
                50 ns
        Supported Memory Types:
                Standard
                DIMM
        Memory Module Voltage: 2.9 V
        Associated Memory Slots: 4
                0x0006
                0x0007
                0x0008
                0x0009
        Enabled Error Correcting Capabilities: None

Handle 0x0006, DMI type 6, 12 bytes
Memory Module Information
        Socket Designation: A0
        Bank Connections: 0 1
        Current Speed: 5 ns
        Type: Unknown EDO
        Installed Size: 8192 MB (Double-bank Connection)
        Enabled Size: 8192 MB (Double-bank Connection)
        Error Status: OK

Handle 0x0007, DMI type 6, 12 bytes
Memory Module Information
        Socket Designation: A1
        Bank Connections: 2 3
        Current Speed: 5 ns
        Type: Unknown EDO
        Installed Size: 8192 MB (Double-bank Connection)
        Enabled Size: 8192 MB (Double-bank Connection)
        Error Status: OK

Handle 0x0008, DMI type 6, 12 bytes
Memory Module Information
        Socket Designation: A2
        Bank Connections: 4 5
        Current Speed: 5 ns
        Type: Unknown EDO
        Installed Size: 8192 MB (Double-bank Connection)
        Enabled Size: 8192 MB (Double-bank Connection)
        Error Status: OK

Handle 0x0009, DMI type 6, 12 bytes
Memory Module Information
        Socket Designation: A3
        Bank Connections: 6 7
        Current Speed: 5 ns
        Type: Unknown EDO
        Installed Size: 8192 MB (Double-bank Connection)
        Enabled Size: 8192 MB (Double-bank Connection)
        Error Status: OK

Handle 0x001B, DMI type 16, 15 bytes
Physical Memory Array
        Location: System Board Or Motherboard
        Use: System Memory
        Error Correction Type: None
        Maximum Capacity: 16 GB
        Error Information Handle: Not Provided
        Number Of Devices: 4

Handle 0x001C, DMI type 17, 21 bytes
Memory Device
        Array Handle: 0x001B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 8192 MB
        Form Factor: DIMM
        Set: None
        Locator: A0
        Bank Locator: Bank0/1
        Type: Unknown
        Type Detail: None

Handle 0x001D, DMI type 17, 21 bytes
Memory Device
        Array Handle: 0x001B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 8192 MB
        Form Factor: DIMM
        Set: None
        Locator: A1
        Bank Locator: Bank2/3
        Type: Unknown
        Type Detail: None

Handle 0x001E, DMI type 17, 21 bytes
Memory Device
        Array Handle: 0x001B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 8192 MB
        Form Factor: DIMM
        Set: None
        Locator: A2
        Bank Locator: Bank4/5
        Type: Unknown
        Type Detail: None

Handle 0x001F, DMI type 17, 21 bytes
Memory Device
        Array Handle: 0x001B
        Error Information Handle: Not Provided
        Total Width: 64 bits
        Data Width: 64 bits
        Size: 8192 MB
        Form Factor: DIMM
        Set: None
        Locator: A3
        Bank Locator: Bank6/7
        Type: Unknown
        Type Detail: None

Assuming that dmidecode isn't buggy, the firmware is internally inconsistant,
and very wrong.  Not a surprise, the firmware is crap.  Surely the kernel
doesn't just believe whatever random garbage the firmware says?