Kernel: timer triggered on freed object

[fdgonthier]

The RTX queue timer will sometimes get triggered while the queue is being destroyed, causing a kernel OOps. This is showed up only in a kernel built with debugging features.