mips: remove --mips32r5 configure option