[PATCH v3 04/13] stm32mp1: Add support for falcon mode boot from SD card