Brian, please show the output of 'apt-mark showauto | grep linux-image-3.5.0-40-generic' from this system.
Brian, please show the output of 'apt-mark showauto | grep linux-image- 3.5.0-40- generic' from this system.