board: stm32mp1: reserve memory for OP-TEE in device tree