Kernel Upgrade

There were some issues a couple weeks ago before I went on vacation. I figured the server could benefit from a reboot, and took that opportunity to upgrade the kernel.

All services should have restarted normally. If not, support at tigris dot fr is here for you.