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