  # CONFIG_SONYPI is not set
  CONFIG_SPARSEMEM_STATIC=y
  # CONFIG_SPARSEMEM_VMEMMAP_ENABLE is not set
-@@ -414,65 +402,57 @@
+@@ -414,65 +389,52 @@
  # CONFIG_TOSHIBA is not set
  # CONFIG_TYPHOON is not set
  CONFIG_UID16=y
 -CONFIG_USB=m
 -CONFIG_USB_EHCI_HCD=m
-+CONFIG_USB=y
-+CONFIG_USB_EHCI_HCD=y
++# CONFIG_USB is not set
++# CONFIG_USB_EHCI_HCD is not set
  # CONFIG_USB_NET_DM9601 is not set
  # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
  # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
 -CONFIG_USB_OHCI_HCD=m
-+CONFIG_USB_OHCI_HCD=y
++# CONFIG_USB_OHCI_HCD is not set
  # CONFIG_USB_SERIAL_OTI6858 is not set
- CONFIG_USB_SUPPORT=y
+-CONFIG_USB_SUPPORT=y
 -CONFIG_USB_UHCI_HCD=m
-+CONFIG_USB_UHCI_HCD=y
++# CONFIG_USB_SUPPORT is not set
++# CONFIG_USB_UHCI_HCD is not set
  # CONFIG_USER_NS is not set
- CONFIG_USE_GENERIC_SMP_HELPERS=y
+-CONFIG_USE_GENERIC_SMP_HELPERS=y
++# CONFIG_USE_GENERIC_SMP_HELPERS is not set
  # CONFIG_VGACON_SOFT_SCROLLBACK is not set
  # CONFIG_VGASTATE is not set
  CONFIG_VGA_CONSOLE=y
 -CONFIG_VIA_RHINE=m
-+CONFIG_VIA_RHINE=y
- CONFIG_VIA_RHINE_MMIO=y
+-CONFIG_VIA_RHINE_MMIO=y
 -CONFIG_VIDEO_MEDIA=m
++# CONFIG_VIA_RHINE is not set
 +CONFIG_VIDEO_MEDIA=y
  # CONFIG_VIDEO_SELECT is not set
 -CONFIG_VIDEO_V4L2=m
 -CONFIG_VIDEO_V4L2_COMMON=m
-+CONFIG_VIDEO_V4L2=y
-+CONFIG_VIDEO_V4L2_COMMON=y
- CONFIG_VM86=y
- CONFIG_VM_EVENT_COUNTERS=y
+-CONFIG_VM86=y
+-CONFIG_VM_EVENT_COUNTERS=y
 -CONFIG_VORTEX=m
++# CONFIG_VIDEO_V4L2 is not set
++# CONFIG_VM86 is not set
++# CONFIG_VM_EVENT_COUNTERS is not set
 +CONFIG_VORTEX=y
  CONFIG_VT=y
  CONFIG_VT_CONSOLE=y

+# CONFIG_SMP is not set
+CONFIG_BROKEN_ON_SMP=y
+# CONFIG_USE_GENERIC_SMP_HELPERS is not set
+CONFIG_LOCALVERSION="-torvm"
+CONFIG_MODULES=y
+CONFIG_TICK_ONESHOT=y
+CONFIG_NO_HZ=y

 # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set
 CONFIG_EARLY_PRINTK=y
 # CONFIG_EDAC is not set
@@ -111,13 +94,11 @@
 # CONFIG_EUROTECH_WDT is not set
 CONFIG_EXT2_FS=y
 CONFIG_FAST_CMPXCHG_LOCAL=y
-CONFIG_FIRMWARE_IN_KERNEL=y
-CONFIG_FIRMWARE_MEMMAP=y
+# CONFIG_FIRMWARE_IN_KERNEL is not set
+# CONFIG_FIRMWARE_MEMMAP is not set
 CONFIG_FIX_EARLYCON_MEM=y
-CONFIG_FS_POSIX_ACL=y
 CONFIG_GENERIC_BUG=y
 CONFIG_GENERIC_CLOCKEVENTS=y
-CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
 CONFIG_GENERIC_CMOS_UPDATE=y
 # CONFIG_GENERIC_CPU is not set
@@ -133,23 +114,23 @@
 CONFIG_HAS_DMA=y
 CONFIG_HAS_IOMEM=y
 CONFIG_HAS_IOPORT=y
-CONFIG_HAVE_ARCH_KGDB=y
+# CONFIG_HAVE_ARCH_KGDB is not set
 # CONFIG_HAVE_ARCH_TRACEHOOK is not set
 # CONFIG_HAVE_CLK is not set
 # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set
 # CONFIG_HAVE_DMA_ATTRS is not set
-CONFIG_HAVE_DYNAMIC_FTRACE=y
-CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
-CONFIG_HAVE_FTRACE=y
+# CONFIG_HAVE_DYNAMIC_FTRACE is not set
+# CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS is not set
+# CONFIG_HAVE_FTRACE is not set
 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
 CONFIG_HAVE_IDE=y
 CONFIG_HAVE_IOREMAP_PROT=y
-CONFIG_HAVE_KPROBES=y
-CONFIG_HAVE_KRETPROBES=y
-CONFIG_HAVE_KVM=y
-CONFIG_HAVE_LATENCYTOP_SUPPORT=y
-CONFIG_HAVE_OPROFILE=y
-CONFIG_HAVE_SETUP_PER_CPU_AREA=y
+# CONFIG_HAVE_KPROBES is not set
+# CONFIG_HAVE_KRETPROBES is not set
+# CONFIG_HAVE_KVM is not set
+# CONFIG_HAVE_LATENCYTOP_SUPPORT is not set
+# CONFIG_HAVE_OPROFILE is not set
+# CONFIG_HAVE_SETUP_PER_CPU_AREA is not set
 CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y
 CONFIG_HID=y
 CONFIG_HID_SUPPORT=y
@@ -158,21 +139,21 @@
 # CONFIG_HIGH_RES_TIMERS is not set
 # CONFIG_HPET_TIMER is not set
 # CONFIG_HP_WATCHDOG is not set
-CONFIG_HT_IRQ=y
+# CONFIG_HT_IRQ is not set
 # CONFIG_HUGETLBFS is not set
-CONFIG_HWMON=m
+# CONFIG_HWMON is not set
 # CONFIG_HWMON_DEBUG_CHIP is not set
-CONFIG_HWMON_VID=m
+# CONFIG_HWMON_VID is not set
 CONFIG_HW_CONSOLE=y
 CONFIG_HW_RANDOM=y
 # CONFIG_HW_RANDOM_AMD is not set
