board: stm32mp1: use FDT address provided by TF-A at boot time