diff -r 25bd163c6886 -r 9fb0f81b4416 config/arch/x86/config.in
--- a/config/arch/x86/config.in	Sun Oct 05 12:32:42 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-# x86 specific options
-
-config ARCH_x86
-    select ARCH_SUPPORT_ARCH
-    select ARCH_SUPPORT_CPU
-    select ARCH_SUPPORT_TUNE
-    help
-      The x86 architecture, as defined by:
-        http://www.intel.com/