3.13.0-32-generic should be the same. Run 'dpkg -l linux-image-3.13.0-32-generic' and check the version number to confirm. Or else once you've booted that kernel you can run 'uname -a' and you'll see something like:
Linux ubuntu-hedt 3.13.0-32-generic #57-Ubuntu SMP Tue Jul 15 03:51:08 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
The "#57" in the output corresponds to the .57 in the version number.
3.13.0-32-generic should be the same. Run 'dpkg -l linux-image- 3.13.0- 32-generic' and check the version number to confirm. Or else once you've booted that kernel you can run 'uname -a' and you'll see something like:
Linux ubuntu-hedt 3.13.0-32-generic #57-Ubuntu SMP Tue Jul 15 03:51:08 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
The "#57" in the output corresponds to the .57 in the version number.