Re: [U-Boot] [RFC PATCH 4/6] ARM: add SMP support for non-secure switch