Update notes for submitted changes

* mksh: Set profile to Linux