On Fri, 4 Sep 2020, Manuel Bouyer wrote:
can you try the attached patch ?
With the patch it crashes later during timecounter init: http://www.netbsd.org/~jmcneill/pr55543-with-patch.png