[PATCH 4.19 25/86] s390: make install not depend on vmlinux