We have not applied the kernel fix yet - waiting for a more clear advise. We are running two E5 v3 Xeon CPU on each Server. The Bug Report was mentioning Xeon® Processor E7 v2 in particular, causing issues. i might be wrong, but it seems that not all Xeon CPU types are impacted by this problem.