BitLocker

Recovering from BCD error 0xC000000D with BitLocker and Hyper-V

I recently had a nasty issue with my seriously awesome laptop (Lenovo ThinkPad P50 with a Samsung 950 Pro NVMe n.2 SSD). After a full shutdown (hold Shift when shutting down Windows 10) on the next power on I got