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