@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?