diff --git a/bl31/bl31.mk b/bl31/bl31.mk
index dffe336..38765bc 100644
--- a/bl31/bl31.mk
+++ b/bl31/bl31.mk
@@ -47,6 +47,7 @@
 				lib/sync/locks/exclusive		\
 				plat/common/${ARCH}			\
 				arch/system/gic/${ARCH}			\
+				common/${ARCH}				\
 				${PLAT_BL31_S_VPATH}
 
 BL31_SOURCES		+=	bl31_arch_setup.c			\