Well, I have to follow up my post... The solution is to upgrade to win32all-128.exe (did not try win32all-127.exe). Build 125 somehow won't reboot properly with win32api.ExitWindowsEx(6,0). Build 128 does. Hooray!