Re: [PATCH v3 3/3] configs: add support of OPTEE RNG in stm32mp15 defconfig