Este post está meio atrasado, mas para quem ainda não sabia, já foram liberados os patches para o horário de verão brasileiro
http://support.microsoft.com/kb/951072/pt-br