What's interesting is that neither mention that a windows update triggered reboot - at least when i was on insider builds - somehow auto-unlocks bitlocker (or it may be using a kernel level restart like kexec, which apparently is a thing that exists in windows server at least)