This is an alternative to further voodoo debugging, serializing the stack with the tcbinfo lock on free, or requiring API changes to callouts. The problem lies with the large technical debt in TCP's relatively poor handling of concurrency not callouts.
See D7017 for the EBR interface.