Wenn sich der Akku vollständig entladen hat, gehen sämtliche Einstellungen im BIOS verloren. Wenn nach dem Booten die Fehlermeldung “cryptsetup: Waiting for encrypted source device UUID=xxx” erscheint, stimmen sehr wahrscheinlich die Sata Einstellungen nicht. Dafür im BIOS Setup unter System Configuration > SATA Operation von RAID On auf AHCI umswitchen. Neustarten und denn wird das Device hoffentlich gefunden.