notebook mit compusec verschlüsselt - ntoskrnl.exe beschädigt

#1 brauch dringend hilft:
und zwar habe ich mein neues notebook direkt nach der vollständigen einrichtung mit compusec verschlüsselt. hat auch einigermaßen funktioniert, bis plötzlich beim hochfahren nach der compusec passwort-eingabe die fehlermedlung kam, dass die datei ntoskrnl.exe (die winXP zum hochfahren braucht) beschädigt sei.
im grunde kein problem, weil man sie einfach mit der reperaturkonsule von xp wiederherstellen könnte. aber leider eben nicht, wenn die festplatte noch entschlüsselt ist.
also habe ich beschlossen - wichtige daten sind ohnehin noch nicht drauf- die fesplatte zu formatieren. anderen foren entnehme ich jedoch, dass dies nicht so einfach ist. habe erstmal versucht die festplatte über knoppix zu finden. leider habe ich dort nichts gefunden. ausbauen von der festplatte ist auch nicht so mein ding, weil notebook.
nunja, vorschläge?