diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig
index e77a439c1932..b5609111a3bd 100644
--- a/arch/mips/Kconfig
+++ b/arch/mips/Kconfig
@@ -509,6 +509,7 @@ config MIPS_SEAD3
 	select MIPS_MSC
 	select SYS_HAS_CPU_MIPS32_R1
 	select SYS_HAS_CPU_MIPS32_R2
+	select SYS_HAS_CPU_MIPS32_R6
 	select SYS_HAS_CPU_MIPS64_R1
 	select SYS_HAS_EARLY_PRINTK
 	select SYS_SUPPORTS_32BIT_KERNEL