Fixed BUG with os_waitqueue_destroy while pending timers