Есть 3 сервера, на всех трех одно и тоже ядро Linux version 2.6.9-42.0.3.ELsmp, стоит по 4 gb оперативки, при этом на одном видно 4, на остальных по 3.
Следует настроить BIOS так, чтобы он диапазон виртуальной памяти, отведенный для адресов ввода-вывода устройств переназначил выше 3GB. Опция может называться по-разному, что-то типа "4gb remapping", у разных производителей по-разному.
Нет. Опция "High Memory Support" актуальна только на x86. Без неё ты и гига не увидишь. Точнее, увидишь только 896Mb LOWMEM. Говорят, иногда помогает замена CONFIG_HIGHMEM4G(у тебя же она включена, да?) на CONFIG_HIGHMEM64G. Сам не проверял.