http://bugzilla.opensuse.org/show_bug.cgi?id=1123328 http://bugzilla.opensuse.org/show_bug.cgi?id=1123328#c1 --- Comment #1 from Guillaume GARDET <guillaume.gardet@arm.com> --- @dirk, Could you confirm obs-arm-7 is a ThunderX2, not a ThunderX1? I tried to reproduced on a ThunderX2 99xx machine with 'osc build --vm-type=kvm' but with Tumbleweed 20190125 with kernel 4.20.2-1-default I am not able to reproduce. Maybe a firmware difference? Which firmware is running on the broken machine? -- You are receiving this mail because: You are on the CC list for the bug.