On 13-CURRENT r368327 when running full buildworld, I'm getting this panic. Hyperthreading enabled on 16 cores, buildworld runs with make -j32. savecore output is available at https://files.wilbury.net/s/es3Pdbs87cddfKb
Can't reproduce.