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

Revision:
53:1205fa63cbaa
Parent:
52:22f262b40130
Child:
54:64a293b4da54
--- a/mbed-os.lib	Wed Nov 22 10:30:02 2017 +0000
+++ b/mbed-os.lib	Mon Dec 04 14:30:02 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#182bbd51bc8d1b6217477c2b5de3f1d0c5e6249f
+https://github.com/ARMmbed/mbed-os/#5f6572179d66ce4c09d6517b659ac51133cc980d