[PATCH 1/5] configs: stm32mp1: Restore boot SPL from sdcard for stm32mp15