Re: ZynqMP boot: no messages from SPL other than "Debug uart enabled"