Merge "Upgrade to mksh R56b." am: a1899ee519 am: e1c2b662fd am: 02bf36c734
am: d9bbbf9fc9

Change-Id: Ia7bb4858ac217df7c20bbfdb8c993ebccdb139fe