The current problem with the May Update may be related to the interaction between Bitlocker and the virtualization functions in BIOS, especially with Intel TXT. This technology is designed for the ...