Source: https://www.debian.org/releases/stable/s390x/install.en.pdf