[S390] Kconfig: add machine type number to code generation options