Security updates to all our servers

We have upgraded the kernel of all our servers to the latest version mentioned below. Linux fr.skrp.org 3.10.0-957.12.2.el7.x86_64 #1 SMP Tue May 14 21:24:32 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux This resolves the recent and major Intel Side Channel Vulnerability...