[PATCH 1/2] ARM: zynq: support smp in thumb mode