Bumped Mbed FW version to 01.20.0080

Revision:
25:b278a215cf3b
Parent:
0:85855ecd3257
Child:
26:07a0635eae6e
--- a/mbed-os.lib	Fri Sep 27 05:23:04 2019 +0000
+++ b/mbed-os.lib	Tue Oct 01 05:11:56 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#c53d51fe9220728bf8ed27afe7afc1ecc3f6f5d7
+https://github.com/ARMmbed/mbed-os/#20975127893e0a24e278dbdca6b271e723002910