Make DEBUG_STATE_MACHINE print out usec timestamps