Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 8a1afd26eb90be3d715d4ce522280cbbf475f0a9)
+++ kernel/arch/arm32/Makefile.inc	(revision 889cdb1c2046af9d31d314fa691773fa2e4f9119)
@@ -27,7 +27,4 @@
 #
 
-BFD_NAME = elf32-littlearm
-BFD_ARCH = arm
-BFD = binary
 
 ATSIGN = %
Index: kernel/arch/arm32/_link.ld.in
===================================================================
--- kernel/arch/arm32/_link.ld.in	(revision 8a1afd26eb90be3d715d4ce522280cbbf475f0a9)
+++ kernel/arch/arm32/_link.ld.in	(revision 889cdb1c2046af9d31d314fa691773fa2e4f9119)
@@ -25,4 +25,5 @@
 	. = KERNEL_LOAD_ADDRESS;
 	kernel_load_address = .;
+	. = . + SIZEOF_HEADERS;
 	.text : {
 		ktext_start = .;