Index: kernel/arch/ia64/Makefile.inc
===================================================================
--- kernel/arch/ia64/Makefile.inc	(revision 8a1afd26eb90be3d715d4ce522280cbbf475f0a9)
+++ kernel/arch/ia64/Makefile.inc	(revision bf05c7451aebfdd5f9d9f9cba5cc3d3190368378)
@@ -27,6 +27,4 @@
 #
 
-BFD_NAME = elf64-little
-BFD_ARCH = ia64-elf64
 
 COMMON_CFLAGS += -mconstant-gp -fno-unwind-tables -mfixed-range=f32-f127
@@ -65,10 +63,8 @@
 ifeq ($(MACHINE),ski)
 	ARCH_SOURCES += arch/$(KARCH)/src/drivers/ski.c
-	BFD = binary
 endif
 
 ifeq ($(MACHINE),i460GX)
 	DEFS += -DI460GX
-	BFD = binary
 endif
 
Index: kernel/arch/ia64/_link.ld.in
===================================================================
--- kernel/arch/ia64/_link.ld.in	(revision 8a1afd26eb90be3d715d4ce522280cbbf475f0a9)
+++ kernel/arch/ia64/_link.ld.in	(revision bf05c7451aebfdd5f9d9f9cba5cc3d3190368378)
@@ -15,5 +15,6 @@
 	kernel_load_address = LOAD_ADDRESS_V;
 
-	.image LOAD_ADDRESS_V: AT (LOAD_ADDRESS_P) {
+	.image (LOAD_ADDRESS_V + SIZEOF_HEADERS): AT (LOAD_ADDRESS_P + SIZEOF_HEADERS) {
+		. = ALIGN(16);
 		ktext_start = .;
 		*(K_TEXT_START);