Re: [TF-A] Boot getting stuck on RK3399 Rockpro64 board