The attached patch is necessary to build 2.6.16-rt12 with
CONFIG_HIGH_RES_TIMERS disabled.

-- 
   kr