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>
1 file changed