O problema que causa o vazamento de memória está finalmente resolvido. O problema estava no driver do kernel zaphfc para a placa de linha ISDN baseada em HFC. Mais informações (e um patch para a fonte do driver que corrige o problema) podem ser encontradas aqui: link