Update notes for submitted changes

* Bump kernel to LeanKernel 5.8