Re: [PATCH] configs: stm32mp15: move bootdelay configuration in defconfig