Added ticks to the display of unknown time in the profile.

tools/tickprocessor.py

Index: tools/tickprocessor.py
===================================================================
--- tools/tickprocessor.py	(revision 1338)
+++ tools/tickprocessor.py	(working copy)
@@ -321,7 +321,8 @@
       if not self.ignore_unknown and self.unaccounted_number_of_ticks > 0:
         self.PrintHeader('Unknown')
         unknown_percentage = self.unaccounted_number_of_ticks * 100.0 / self.total_number_of_ticks
-        print('  %(total)5.1f%%' % {
+        print('  %(ticks)5d  %(total)5.1f%%' % {
+          'ticks' : self.unaccounted_number_of_ticks,
           'total' : unknown_percentage,
         })
       # Print the library ticks.