Package: release-notes Severity: normal The s390 kernel flavour is no longer provided by the stock Debian kernels. Instead only the 64-bit flavour s390x remains, which needs z/Architecture support on the hardware. Any zSeries will do. I think this should be documented in the release notes.