i2c: i2c-arb-gpio-challenge: convert to use an explicit i2c mux core