diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig
index 80d7ce9e1f94..b4d8095f0c0a 100644
--- a/arch/mips/Kconfig
+++ b/arch/mips/Kconfig
@@ -438,11 +438,13 @@ config MIPS_XXS1500
 
 config PNX8550_V2PCI
 	bool "Philips PNX8550 based Viper2-PCI board"
+	depends on BROKEN
 	select PNX8550
 	select SYS_SUPPORTS_LITTLE_ENDIAN
 
 config PNX8550_JBS
 	bool "Philips PNX8550 based JBS board"
+	depends on BROKEN
 	select PNX8550
 	select SYS_SUPPORTS_LITTLE_ENDIAN