--- extra/Configs/Config.mips.orig	2007-03-16 20:38:14.000000000 +0100
+++ extra/Configs/Config.mips	2007-09-29 11:33:32.000000000 +0200
@@ -68,6 +68,9 @@
 config CONFIG_MIPS_ISA_MIPS32
 	bool "MIPS32"
 
+config CONFIG_MIPS_ISA_MIPS32_4KC
+	bool "MIPS32 4KC (texas ar7, fritz!box)"
+
 config CONFIG_MIPS_ISA_MIPS64
 	bool "MIPS64"