putz. eu não mexi nos meus, continuam America/Sao_Paulo, que de 2018 pra cá não tem mais horário de verão. se um dia voltar a ter horário de verão, as atualizações de sistema vão trazer as novas regras, e o sistema vai entrar e sair de horário de verão conforme essas configurações. não precisava ter mexido em nada. mas, se mexeu, vai precisar mexer de novo mesmo :-(