Updated for mbed OS 5.4

Revision:
2:06e6936799eb
Parent:
1:d60ed022d866
diff -r d60ed022d866 -r 06e6936799eb mbed-os.lib
--- a/mbed-os.lib	Fri Sep 20 15:10:37 2019 +0000
+++ b/mbed-os.lib	Fri Nov 08 10:31:55 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#1bf6b20df9d3cd5f29f001ffc6f0d0fcbbb96118
+https://github.com/ARMmbed/mbed-os/#3a57ec7401a77b8b98f6356a1498cb154229483f