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

Change-Id: I662a7b4e9feb6b9b8c11e13eeeeb81f55460c725