It works better when including arch/mips/sgi-ip27/Kconfig ...

Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig
index 87f860f..312b697 100644
--- a/arch/mips/Kconfig
+++ b/arch/mips/Kconfig
@@ -786,6 +786,7 @@
 	bool "FPCIB0 Backplane Support"
 	depends on TOSHIBA_RBTX4927
 
+source "arch/mips/sgi-ip27/Kconfig"
 source "arch/mips/sibyte/Kconfig"
 
 config RWSEM_GENERIC_SPINLOCK