Bump the default interval to 100 microseconds (10 khz)

10 microseconds is a bit too fast as the default.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>