Merge remote branch 'tip/x86/tsc' into fortglx/2.6.38/tip/x86/tsc
[linux-2.6-microblaze.git] / arch / score / Kconfig
index be4a155..4293fdc 100644 (file)
@@ -1,8 +1,3 @@
-# For a description of the syntax of this configuration file,
-# see Documentation/kbuild/kconfig-language.txt.
-
-mainmenu "Linux/SCORE Kernel Configuration"
-
 menu "Machine selection"
 
 choice