My laptop reports that 2 banks of 16384 MiB RAM are installed (BIOS numbers, equal to dmidecode), in total 32768 MiB. BIOS also reports that only 32629 MiB are "available". What is using the rest? Debian reports a still lower value: 31980 MiB (top, equal to free). To be precise, 33533739008 bytes of RAM in total. Again, where is the rest?
Thanks for info on this.