Kernel Code Convergence at 3pm today (Thursday October 4th 2018)