Re: [PATCH] ARM: dts: stm32: Repair AV96 SD1 boot