Symbol: bcm_kona_i2c_write_byte