CONFIG_HIGHMEM64G=y for x86_64 SMP kernels