benchmark: enable benchmark for rpi3

Acked-by: Jerome Forissier <jerome.forissier@linaro.org>
Signed-off-by: Igor Opaniuk <igor.opaniuk@linaro.org>
diff --git a/rpi3.mk b/rpi3.mk
index 4cfb403..d7d44cf 100644
--- a/rpi3.mk
+++ b/rpi3.mk
@@ -57,6 +57,10 @@
 ################################################################################
 # Targets
 ################################################################################
+ifeq ($(CFG_TEE_BENCHMARK),y)
+all: benchmark-app
+clean: benchmark-app-clean
+endif
 all: rpi3-firmware arm-tf optee-os optee-client xtest u-boot u-boot-jtag-bin\
 	linux update_rootfs
 clean: arm-tf-clean busybox-clean u-boot-clean u-boot-jtag-bin-clean \
@@ -238,6 +242,13 @@
 helloworld-clean: helloworld-clean-common
 
 ################################################################################
+# benchmark
+################################################################################
+benchmark-app: benchmark-app-common
+
+benchmark-app-clean: benchmark-app-clean-common
+
+################################################################################
 # Root FS
 ################################################################################
 .PHONY: filelist-tee