Kann KI eine Linux Festplatte für Windows formatieren?