Posso confirmar que Istambul realmente trabalha com distribuições Linux baseadas no Red Hat. Pode ainda não ter sido atualizado para o RHEL 6, mas você pode tentar criar a partir da origem. O Wiki do Fedora tem um artigo completo com instruções sobre como configurar o software para o screencasting.
Outra alternativa para gravar sistemas operacionais que não possuem software de gravação é instalá-lo em uma máquina virtual e gravar a partir do sistema operacional do host. Isso também permite que você tenha um espaço de trabalho menor para gravar, permitindo vídeos com resolução menor.