CONFIG_LOCK_KERNEL=y
# CONFIG_CPUSETS is not set
CONFIG_STOP_MACHINE=y
CONFIG_SMP=y
CONFIG_HAVE_DEC_LOCK=y
CONFIG_NR_CPUS=64
CONFIG_BACKLIGHT_CLASS_DEVICE=y
CONFIG_MATHEMU=y
CONFIG_MKISS=m
# CONFIG_DIGIEPCA is not set
