[PATCH v3 09/13] stm32mp1: spl: Configure MAC address when booting OP-TEE