J"d,
Okay, ran your suggestion, and came up with this:
gun@gun-CF-52GUNBRAM ~ $ uname -a
Linux gun-CF-52GUNBRAM 3.13.0-24-generic #46-Ubuntu SMP Thu Apr 10 19:11:08 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
And then I ran this:
gun@gun-CF-52GUNBRAM ~ $ gun@gun-CF-52GUNBRAM ~ $ apt install linux-headers-686-pae linux-image-686-pae
[sudo] password for gun:
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package linux-headers-686-pae is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'linux-headers-686-pae' has no installation candidate
E: Unable to locate package linux-image-686-pae
Hmmmmm, pondering while heading to airport
Maybe it has something to do with 17MateMint64bit?