[PATCH 07/10] stm32mp1: spl: Configure MAC address when booting OP-TEE