MIPS32 R6 has a 64-bit FPU so add the necessary MIPS R6
definition.
Signed-off-by: NMarkos Chandras <markos.chandras@imgtec.com>