vexpress: Include IKS in standard vexpress kernels.

Now IKS is public we can include it in the standard vexpress kernel.
As the IKS feature will be off by default this shouldn't impact MP
usecases.

Change-Id: I9a45443e8591012ce89af006d6648167ec016ba7
Signed-off-by: Jon Medhurst <tixy@linaro.org>
diff --git a/BoardConfig.mk b/BoardConfig.mk
index f12e178..77ac1cf 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -78,6 +78,7 @@
                  linaro/configs/android.conf \
                  linaro/configs/big-LITTLE-MP.conf \
                  linaro/configs/vexpress.conf \
+                 linaro/configs/big-LITTLE-IKS.conf \
                  linaro/configs/vexpress-tuning.conf
 DEVICE_TREES := vexpress-v2p-ca5s:v2p-ca5s.dtb \
 		vexpress-v2p-ca9:v2p-ca9.dtb \