ARM versatile TC2 fails to boot

Hi,

With latest Linaro ARM kernel mentioned below fails to boot when following configs are enabled CONFIG_VEXPRESS_SPC & CONFIG_ARCH_VEXPRESS_TC2_PM

OR

Even just enabling CONFIG_VEXPRESS_PSCI and passing psci as kernel bootargs fails

git://git.linaro.org/landing-teams/working/arm/kernel.git

please let me know if you have any information on why it fails?. Also do I need to update Secure world to make it work with PSCI?

Thanks & Regards Vijay