[ifxmips] adds proper kconfig to select the new mach types