Hi, I need to compile a kernel for ARM RTSM based on Cortex-A9 (single core), RTSM_VE_Cortex-A9x1, device. Which defconfig should I use ? I think that vexpress_defconfig is for A quad core A9 based Vexpress platform. Thanks