Ter duas distros diferentes só por que o filho usa?
Era mais fácil, e mais recomendável, criar um único sistema, dois usuários, e limitar bem onde seu filho teria acesso a leitura e, especialmente, escrita.
No mais, ou deu azar de pegar o vírus mais bizarro da história ou não foi feito um diagnóstico correto do caso.
O problema não foi virus, apenas o criador do tópico acha que foi.
Acredito sinceramente, que o que aconteceu nesse caso foi um corrompimento de BIOS ou problema de hardware. Está com toda a pinta de ser isso.
O tópico foi considerado encerrado pelo OP, havendo necessidade de novas discussões ele pode solicitar a reabertura para a equipe de moderação.