Work around RH bug by avoiding __kernel_timer_t

2 files changed