[Bug 1163684] Kernel oops in s390x tumbleweed