@stephenw10 Thanks. Seeing the traces were so identical, I checked twice: no confusion, those were two true distinct crashes/reboots.
I had fully removed the good-old trafic shaper right after my last post.
Seeing no new issues for more than 12 hours, I started rebuilding a new shaper configuration. Looks stable for now
Thanks.