Não, você não pode - você precisará de algum tipo de intermediário e pode haver considerações sobre a taxa de transferência e a latência do processador. (Eu não estou qualificado para dizer se um Raspberry Pi é capaz disso.)
O motivo é que sua fonte HDMI de qualquer tipo está transmitindo fluxos digitais de informações de vídeo e áudio. O que você está tentando fazer é pegar quatro fluxos separados de vídeo, compô-los em uma configuração específica e gerar um novo fluxo de vídeo.
Dito isto, pode haver uma maneira muito mais fácil de alcançar seu objetivo - talvez, se você elaborar um pouco sobre o que realmente está tentando fazer, você poderá obter uma resposta mais útil.
