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

Revision:
51:b05978d9cf8e
Parent:
50:84f446a84793
Child:
52:22f262b40130
diff -r 84f446a84793 -r b05978d9cf8e mbed-os.lib
--- a/mbed-os.lib	Wed Nov 08 14:30:02 2017 +0000
+++ b/mbed-os.lib	Mon Nov 20 15:00:02 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#78474a5129e18e136cc7e872adbaa5b74fbb8f6a
+https://github.com/ARMmbed/mbed-os/#34b61d1612aaec2e5d61a8a43c9764bc2fe8aac0