geralmente, esse logotipo é criado pelo script linuxlogo init (por exemplo, /etc/init.d/linuxlogo ).
você pode personalizá-lo via /etc/linux_logo.conf (consulte man linuxlogo ) ou desativá-lo desativando o script init.
mas por que você quer suprimir créditos para PetaLinux ?