Поставил 4 Gb памяти. На 32-битной системе собрал ядро с опциями:
CONFIG_X86_PAE=y
CONFIG_HIGHMEM64G=y
Смотрим, сколько памяти показывает free с 32-битным ядром:
$ free | awk 'NR==2 {print $2}'
4114844
С 64-битным ядром:
$ free | awk 'NR==2 {print $2}'
3990036
Куда девались 124808 Kb?
