first it looked as if enabling kdump worked around the issue, but today the machine crashed 4 times. I've uploaded the crashdumps to google drive: https://drive.google.com/drive/folders/1CLbnST5CeNA1kGLt8SEm7yZ8KM1WuIbc?usp=sharing I'm also trying to install kernel-default-debuginfo and the crash tool.