diff --git a/src/arch/arm64/Makefile.inc b/src/arch/arm64/Makefile.inc
index 95bc58dcf7..7f3ce3fb96 100644
--- a/src/arch/arm64/Makefile.inc
+++ b/src/arch/arm64/Makefile.inc
@@ -72,9 +72,9 @@ $(objcbfs)/verstage.debug: $(objgenerated)/libverstage.a $$(verstage-objs)
 verstage-y += boot.c
 verstage-y += div0.c
 verstage-y += eabi_compat.c
-verstage-y += ../../lib/memset.c
-verstage-y += ../../lib/memcpy.c
-verstage-y += ../../lib/memmove.c
+verstage-y += memset.S
+verstage-y += memcpy.S
+verstage-y += memmove.S
 
 verstage-y += transition.c transition_asm.S