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