[TF-A] Re: Kernel freezes at boot (commit fa28b3a)