Kernel update (7/19)

Kernel update