Merge "Upgrade to mksh R56c." am: 0c3dc4139a am: 7b388008f5
am: c9786cca25

Change-Id: Ie5a05d8eab9b6d75b6618fd4f0e94aea4137858e