[PATCH 05/13] futex: Avoid freeing an active timer