OK, it's been a few years since I did S390, but this looks like
it's confused for 31/32 bit mode (happened to trip over it while digging
up info for another posting)

--- linux-2.6.0-test10/arch/s390/Kconfig.dist	2003-11-25 22:35:09.247637990 -0500
+++ linux-2.6.0-test10/arch/s390/Kconfig	2003-11-25 22:35:20.298903222 -0500
@@ -142,7 +142,7 @@
 	default y
 
 config BINFMT_ELF32
-	tristate "Kernel support for 31 bit ELF binaries"
+	tristate "Kernel support for 32 bit ELF binaries"
 	depends on S390_SUPPORT
 	help
 	  This allows you to run 32-bit Linux/ELF binaries on your zSeries