Comment by pqdbr

How do I check if my Ubuntu kernel has already been patched?

And if it hasn’t, any tips on how to upgrade?