Add missing header file to s390x_sources

Otherwise a required header file for s390x builds is missing from tarball builds.