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