Um amigo meu instalou Linux no notebook com aquela opção de criptografar o HD nas instalação, agora como que faz para formatar e instalar outra distro?
Pelo menos aqui, é só formatar normalmente. Em algum momento provavelmente peça a senha pra descriptografar, aí é só colocar e pronto.
Está tendo algum erro durante a formatação?