trusty: tipc_test: fix for building with -Wformat-security flag

Change-Id: I7aca7c7c8001ed82ed3503d622280bcd738da210
1 file changed