AFAIK we don't have pre-thread-debugging so far and I don't want to encourage to use printf-debugging in ISRs. Hence, I disagree.