Re: [PATCH] configs: stm32mp: force empty PREBOOT