revert to deleting kernel-level timer from cancellation handler