CONFIG_MIPS64 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

64-bit kernel

modulename: pgtable-64.ko

and/or

module-elf64.ko

and/or

scall64-64.ko

and/or

cpu-bugs64.ko

configname: CONFIG_MIPS64

Linux Kernel Configuration
└─>64-bit kernel
In linux kernel since version 2.6.12  
Select this option if you want to build a 64-bit kernel. You should
only select this option if you have hardware that actually has a
64-bit processor and if your application will actually benefit from
64-bit processing, otherwise say N. You must say Y for kernels for
SGI IP27 (Origin 200 and 2000) and SGI IP32 (O2). If in doubt say N.

source code: