Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 6765c075aac1138738c6ee1670710f4cdbe185e7)
+++ kernel/arch/arm32/Makefile.inc	(revision bb54db8adf4487558f5ccf7da52b4bf5f49cd8da)
@@ -30,5 +30,5 @@
 #
 
-BFD_NAME = elf32-little
+BFD_NAME = elf32-littlearm
 BFD_ARCH = arm
 BFD = binary