Comment # 16 on bug 1160604 from Guillaume GARDET

(In reply to Matthias Brugger from comment #15)
> Can you get the memory dump from the crashed kernel. Maybe that would help
> to analyze the problem.

AFAIK, OBS does not produce it and I have no ThunderX1 to reproduce locally.