vexpress: IKS: update kernel config

Change-Id: If58927a97131003f72b0a7985ec6dba6055cbc3b
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
1 file changed