diff --git a/hikey960.mk b/hikey960.mk
index 3df5e0510f01398f2d093591355f58195f43537b..9c993bbc18c610e54d4a7ddb79fdb65e03949957 100644
--- a/hikey960.mk
+++ b/hikey960.mk
@@ -85,7 +85,9 @@ ARM_TF_EXPORTS ?= \
 	CROSS_COMPILE="$(CCACHE)$(AARCH64_CROSS_COMPILE)"
 
 ARM_TF_FLAGS ?= \
-	BL32=$(OPTEE_OS_PATH)/out/arm/core/tee-pager.bin \
+	BL32=$(OPTEE_OS_HEADER_V2_BIN) \
+	BL32_EXTRA1=$(OPTEE_OS_PAGER_V2_BIN) \
+	BL32_EXTRA2=$(OPTEE_OS_PAGEABLE_V2_BIN) \
 	BL33=$(EDK2_BIN) \
 	SCP_BL2=$(MCUIMAGE_BIN) \
 	DEBUG=$(DEBUG) \