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