mips.py: add mips4_r10k classes