updated for mbed-os 5.5

History

updated for mbed-os 5.5 default tip

2017-07-13, by noutram [Thu, 13 Jul 2017 14:48:11 +0000] rev 0

updated for mbed-os 5.5