Devido a um problema conhecido na função unzip do U-Boot, você pode ver que o HPS não inicializa no Linux se o arquivo Image.gz for usado como Imagem Linux.
A Intel recomenda usar o arquivo de imagem original ou o arquivo Image.lzma.
Você pode seguir o GSRD para obter o arquivo Image.lzma, ou pode gerá-lo separadamente pelo comando "xz --format=lzma -k Image".