Re: STM32MP1: Adding TF-A causes kernel errors