[PATCH] PATCH 2.5: kconfig synchronise banners (13_16)

1/3 definitions of CONFIG_PSMOUSE have trivially different banners.

arch/mips/config.in

@@ -444,7 +444,7 @@ if [ "$CONFIG_SGI_IP22" = "y" ]; then
 	 define_bool CONFIG_FONT_8x16 y
       fi
    fi
-   bool 'PS/2 mouse support' CONFIG_PSMOUSE
+   bool 'PS/2 mouse support (aka "auxiliary device")' CONFIG_PSMOUSE
    if [ "$CONFIG_PSMOUSE" != "n" ]; then
       define_bool CONFIG_MOUSE y
    fi