Configure mips64vr4100-elf nee mips64vr41* as a 64 bit mips16 igen simulator.