Oh, I should probably also mention that these machines all run an extra kernel module compiled via dkms: batman-adv 2019.0 from <https://www.open-mesh.org/>. The same kernel module also runs on a fourth machine with the same setup, but which hasn't gotten the kernel update yet, and that machine runs stable. ; Ralf