s390: add zEC12 code generation support