Switched the timer example to the more efficient version of the

timer object.

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402567

examples/timer_ex.cpp

@@ -37,7 +37,7 @@ public:
 
 private:
 
-    timer<timer_example>::kernel_1a t;
+    timer<timer_example>::kernel_2a t;
 
     void action_function()
     {