Merge branch 'master' into markj-kernel-config
Introduce the DTrace temporal option.
Merge branch '20130503-dtrace-temporal-option' into 20130428-tcp-provider