Fix incorrect pinmux check pin logging

This was left over from an incorrect I2C pinmux config I did, where I
accidentally put the I2C pins on 1&2 instead of 3&4. The indexes are
still off by one because of the indexing change made to PMOD. This
commit simply updates the log output of the test to reflect the actual
pins that are being tested for I2C in the tests.

sw/cheri/checks/pinmux_all_blocks_check.cc

@@ -178,7 +178,7 @@ using namespace CHERI;
       },
       {
           .type             = TestType::I2cPmodColourReadId,
-          .name             = "PMOD0_1 & PMOD0_2 I2C Muxed      ",
+          .name             = "PMOD0_3 & PMOD0_4 I2C Muxed      ",
           .manual_required  = true,
           .instruction      = "Remove the wire connecting PMOD0 Pins 2 & 3. Connect the PMOD Colour to PMOD0.",
           .output_pins      = pmod_test_i2c_on_pins,
@@ -190,7 +190,7 @@ using namespace CHERI;
       },
       {
           .type             = TestType::I2cPmodColourReadId,
-          .name             = "PMOD0_1 & PMOD0_2 I2C Not Muxed  ",
+          .name             = "PMOD0_3 & PMOD0_4 I2C Not Muxed  ",
           .manual_required  = false,
           .output_pins      = pmod_test_i2c_off_pins,
           .num_output_pins  = ARRAYSIZE(pmod_test_i2c_off_pins),