[Bug 809038] EFI problems - cannot boot windows with secure boot