To complete what William has already said: the "rest" ist probably used by the linux kernel itself and not "completely gone".
If you want us to take a closer look, you should provide the output of dmesg, /proc/meminfo and /proc/cpuinfo.
To complete what William has already said: the "rest" ist probably used by the linux kernel itself and not "completely gone".
If you want us to take a closer look, you should provide the output of dmesg, /proc/meminfo and /proc/cpuinfo.
I have also tried on other hardware that can only use 32bit software version and the output are the same.
I have attached to output of dmesg cpuinof and meminfo.