realname "S/390 64-bit" default_submodel s390x s390x