[PATCH 0/2] ARM: zynq: smp improvements