Merge "trusty: Update TIPC UAPI header" am: 00e57e0841

Original change: https://android-review.googlesource.com/c/platform/system/core/+/2024970

Change-Id: I231bb68ebec71c7f8ee2408977ef8e9e42bdca25