# Firmware Drivers
#
CONFIG_EDD=m
-# CONFIG_NOHIGHMEM is not set
-CONFIG_HIGHMEM4G=y
+CONFIG_NOHIGHMEM=y
+# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
-CONFIG_HIGHMEM=y
# CONFIG_PROC_MM is not set
+# CONFIG_USER_3GB is not set
+# CONFIG_USER_2GB is not set
+CONFIG_USER_1GB=y
# CONFIG_HIGHPTE is not set
# CONFIG_MATH_EMULATION is not set
CONFIG_MTRR=y
# Firmware Drivers
#
CONFIG_EDD=m
-# CONFIG_NOHIGHMEM is not set
-CONFIG_HIGHMEM4G=y
+CONFIG_NOHIGHMEM=y
+# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
-CONFIG_HIGHMEM=y
# CONFIG_PROC_MM is not set
+# CONFIG_USER_3GB is not set
+# CONFIG_USER_2GB is not set
+CONFIG_USER_1GB=y
# CONFIG_HIGHPTE is not set
# CONFIG_MATH_EMULATION is not set
CONFIG_MTRR=y