Time to parch your systems

Alright folks, a kernel flaw has been found, but never fear patches are already available. Just run your system tool / package manager to patch up, then reboot to be sure it took. You should see a kernel patch for Red Hat and Debian based distro.