
CONFIG_X86_64_ISA_LEVEL=3
# CONFIG_GENERIC_CPU is not set
# CONFIG_MNATIVE_AMD is not set
# CONFIG_MNATIVE_INTEL is not set

# CONFIG_MAXSMP is not set
CONFIG_NR_CPUS=16
