Re: [PATCH 1/2] board: stm32mp1: fix handling of DT OP-TEE reserved memory nodes