get_txb_ctx is designed under the condition that ctx is uint8_t
Hence, we cast ctx to uint8_t before further operations

Change-Id: If8423d6e5edd346034cb9631726e930c47bc682b