Index: kernel/arch/ia64/Makefile.inc
===================================================================
--- kernel/arch/ia64/Makefile.inc	(revision 743ffa6e3a5a682f9201785da96bbd88d678dea2)
+++ kernel/arch/ia64/Makefile.inc	(revision 0e9463df619d59f4f40fb9489405acbaf4813533)
@@ -32,9 +32,8 @@
 BFD_NAME = elf64-little
 BFD_ARCH = ia64-elf64
-BFD = elf64-ia64-little
 TARGET = ia64-pc-linux-gnu
 TOOLCHAIN_DIR = /usr/local/ia64
 
-INIT0_ADDRESS = 0xe000000000400000
+INIT0_ADDRESS = 0xe000000004404000
 INIT0_SIZE = 0x100000
 
@@ -89,9 +88,13 @@
 	ARCH_SOURCES += arch/$(ARCH)/src/ski/ski.c 
 	DEFS += -DSKI
+	BFD = elf64-ia64-little
 endif
 
 ifeq ($(MACHINE),i460GX)
 	ARCH_SOURCES += arch/$(ARCH)/src/drivers/ega.c
-	DEFS += -DI460GX
+	CONFIG_I8042 = y
+	DEFS += -DI460GX -DCONFIG_I8042
+	BFD = binary
+
 endif