[PATCH] hrtimers: fix possible use of NULL pointer in posix-timers