Fixed a bug of not setting the evt_id in the thread structure. This
could cause not switching to the event handler thread.

Added more benchmark code (some of them needs to be removed later):
time stamp counter skew measurement (in kernel).