PGP Whole Disk Encryption does not resume after a hard power off