Re: [PATCH 7/8] board: sl28: add ATF support (bl31)