Ingo,

Without the attached patch 2.6.13-rc6-rt15 won't compile for me with 
CONFIG_HIGH_RES_TIMERS not configured.

-- 
    kr