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