Correction Kernel Update on May 20th

     CORRECTION:

     Kernel Updates will be Friday May 20th, NOT tonight May 19th.