Update notes for submitted changes

* Bump to leankernel 5.8.2