VeraCrypt/doc/EFI-DCS/disk_encryption_v1_2.pdf