Frees the pointer to the clock timer previously obtained using HRT_GET_POINTER.