Update notes for submitted changes

* tuna: LeanKernel inline