O plugue HDMI no seu Pandaboard e o plugue HDMI no seu laptop são o mesmo 'lado' de uma conexão HDMI. HDMI é um protocolo cliente-servidor, exceto que eles são chamados de algo diferente. Essencialmente, um lado produz conteúdo e o outro lado o aceita. Os projetistas de HDMI fizeram isso para tornar mais difícil extrair o conteúdo de 1080p direto do fio. Não há como fazer isso funcionar (que eu saiba) sem escrever um driver personalizado para sua porta HDMI que diz que é uma TV ou outro dispositivo de exibição (o software pode nem ser suficiente, pode exigir um hack de hardware)