U mě na x32 restart jeden, taky přes Windows Update, žádné problémy.