[PATCH] s390: remove BINFMT_ELF32 config option