BUG REPORT: Lenovo ThinkPad X1 Carbon Fails to Boot after PGP Whole Disk Encryption