[PATCH 8/8] board: sl28: add OP-TEE Trusted OS support (bl32)