i2c-pnx: Map I2C adapter number to platform ID number