[PATCH 07/11] board: stm32mp1: use FDT address provided by TF-A at boot time