rt_instr: Print cluster/cpu ID

Print the cluster and cpu ID in the output.  It is useful to know
which cpu is part of which cluster as that helps with the data
visualization.

Change-Id: Id02745d677abc4d4e9c2e289917da6d67e7b93b2
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>
1 file changed