Re: [PATCH v2 07/10] configs: stm32mp13: activate RNG support