Index: kernel/arch/arm64/Makefile.inc
===================================================================
--- kernel/arch/arm64/Makefile.inc	(revision 874ed210190e4ba496b92a1fbb02ea57a3080203)
+++ kernel/arch/arm64/Makefile.inc	(revision 1995ac3eb9bf37f3e753f79bcf6dba1a3c3df86e)
@@ -27,7 +27,4 @@
 #
 
-BFD_NAME = elf64-littleaarch64
-BFD_ARCH = aarch64
-BFD = binary
 
 COMMON_CFLAGS += -fno-omit-frame-pointer -march=armv8-a+nofp+nosimd \
