target-mips: Fix formatting in `decode_extended_mips16_opc'