---
So, given that
(a) people are actively running into this
(b) we'll have to backport this quite a lot
(c) the spec issue is not a s390x-only issue
(d) it's still unclear how to best deal with the spec issue
I suggest getting this fix here upstream asap. It will neither making sorting out the spec issue easier nor harder :)
I can spot it in the s390 fixes tree already.