64-bit kernel

modulename: binfmt_elf32.ko

and/or

perf.ko

and/or

pgtable-64.ko

and/or

scall64-64.ko

and/or

cpu-bugs64.ko

configname: CONFIG_64BIT

Linux Kernel Configuration
└─>64-bit kernel
In linux kernel since version 2.6.12  
Say yes to build a 64-bit kernel - formerly known as x86_64
Say no to build a 32-bit kernel - formerly known as i386