Re: [PATCH 05/11] board: stm32mp1: reserve memory for OP-TEE in device tree