Eu não vejo nenhum motivo para você não usar o Debian nesse hardware. Mesmo que você tenha usado um kernel com patches redHat, ainda é menos complicado criar um kernel personalizado para o Debian do que usar todo um ambiente de distribuição com o qual você está menos familiarizado, mas como você diz, parece ser um bom suporte para essa placa RAID no kernel do Debian de qualquer maneira.