CONFIG_X86_64 (not configurable)
modulename: bugs_64.ko
and/orvsyscall_64.ko
and/orvsyscall_emu_64.ko
and/orsyscall_64.ko
and/orpci-nommu_64.ko
and/orreboot.ko
and/orsys_x86_64.ko
configname: CONFIG_X86_64
Linux Kernel Configuration for x86
└─>X86_64