[TF-A] STM32MP1: Adding TF-A causes kernel errors