Fix encoding bug in i2c_ASN1_INTEGER