Re: [PATCH v3 02/10] arm: k3: Add support for loading non linux remote cores