Bumped Mbed FW version to 01.20.0080

Revision:
26:07a0635eae6e
Parent:
25:b278a215cf3b
--- a/mbed-os.lib	Tue Oct 01 05:11:56 2019 +0000
+++ b/mbed-os.lib	Thu Oct 03 05:24:06 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#20975127893e0a24e278dbdca6b271e723002910
+https://github.com/ARMmbed/mbed-os/#e83fd322bd9177f60ccfd6712849b7db71869f00