Fix encoding of MFC instruction.