diff --git a/configs/pic32mz-starterkit/nsh/defconfig b/configs/pic32mz-starterkit/nsh/defconfig
index 42109198ab7..955783081bb 100644
--- a/configs/pic32mz-starterkit/nsh/defconfig
+++ b/configs/pic32mz-starterkit/nsh/defconfig
@@ -75,7 +75,8 @@ CONFIG_ARCH_CHIP_PIC32MZ=y
 CONFIG_ARCH_MIPS32=y
 # CONFIG_ARCH_MIPS_24KC is not set
 CONFIG_ARCH_MIPS_M14K=y
-CONFIG_ARCH_MIPS_MICROMIPS=y
+CONFIG_ARCH_HAVE_MICROMIPS=y
+CONFIG_MIPS_MICROMIPS=y
 
 #
 # MIPS32 Configuration Options