apt-get update apenas atualiza a lista de pacotes disponíveis. Você precisa usar apt-get upgrade ou possivelmente apt-get dist-upgrade para realmente atualizar os pacotes. Ou use aptitude .
Além disso, não aparece /etc/os-release alterações em 7.1; /etc/debian_version , no entanto. O mesmo acontece com a saída de lsb_release -r .