Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

Revision:
61:fdd51bb3a950
Parent:
60:fda7696090e1
Child:
62:e9d648b75347
diff -r fda7696090e1 -r fdd51bb3a950 mbed-os.lib
--- a/mbed-os.lib	Mon Feb 26 13:30:02 2018 +0000
+++ b/mbed-os.lib	Mon Mar 19 09:30:02 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#91e6db1ea251ffcc973001ed90477f42fdca5751
+https://github.com/ARMmbed/mbed-os/#16bac101a6b7b4724023dcf86ece1548e3a23cbf