[OS-BUILD PATCH 3/3] configs/ark/s390: set CONFIG_MARCH_Z14 and CONFIG_TUNE_Z15