Bug#1014274: yosys RM of s390x should be requested, too

[Steffen Möller]

Dear all,

The s390x package of yosys is no longer built, either, and should hence
also be removed, see https://tracker.debian.org/pkg/yosys . Does this
need a separate RM?

Many thanks!

Steffen