MIPS: Add BMIPS processor types to Kconfig