Michael Stefaniuc : taskschd: Print the debug string instead of the pointer value.