From: Christoph Hellwig <hch@lst.de>

We don't allow non-ELF kernels since 2.0 days, and surprisingly this is not
actually checked anywhere.

Signed-off-by: Andrew Morton <akpm@osdl.org>
---

 25-akpm/arch/ppc/Kconfig |    4 ----
 1 files changed, 4 deletions(-)

diff -puN arch/ppc/Kconfig~remove-dead-config_kernel_elf-kconfig-entry arch/ppc/Kconfig
--- 25/arch/ppc/Kconfig~remove-dead-config_kernel_elf-kconfig-entry	2004-08-15 15:49:05.088811704 -0700
+++ 25-akpm/arch/ppc/Kconfig	2004-08-15 15:49:05.092811096 -0700
@@ -813,10 +813,6 @@ config PREEMPT
 config HIGHMEM
 	bool "High memory support"
 
-config KERNEL_ELF
-	bool
-	default y
-
 source "fs/Kconfig.binfmt"
 
 config PROC_DEVICETREE
_