s390: add z13 code generation support