# CONFIG_HIGHMEM64G is not set