- increase the interrupt time of Thread timer
  External interrupts can be handled "in time", with this change.