there is no debian with older kernel listed in grub.
/var/log/apt/history.log states :
Start-Date: 2014-07-09 13:06:10
Commandline: apt-get upgrade
Upgrade: linux-image-3.2.0-4-486:i386 (3.2.57-3+deb7u2, 3.2.60-1+deb7u1), libvlc5:i386 (2.0.3-5, 2.0.3-5+deb7u1), vlc-nox:i386 (2.0.3-5, 2.0.3-5+deb7u1), vlc:i386 (2.0.3-5, 2.0.3-5+deb7u1), vlc-plugin-notify:i386 (2.0.3-5, 2.0.3-5+deb7u1), vlc-plugin-pulse:i386 (2.0.3-5, 2.0.3-5+deb7u1), vlc-data:i386 (2.0.3-5, 2.0.3-5+deb7u1), libvlccore5:i386 (2.0.3-5, 2.0.3-5+deb7u1)