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

Revision:
55:31ae47e84e28
Parent:
54:64a293b4da54
Child:
56:67611bfa061f
diff -r 64a293b4da54 -r 31ae47e84e28 mbed-os.lib
--- a/mbed-os.lib	Fri Dec 29 17:30:02 2017 +0000
+++ b/mbed-os.lib	Wed Jan 03 12:00:02 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#2b4ff78ab0a52ef1dc3f2998908453c595e2b2c0
\ No newline at end of file
+https://github.com/ARMmbed/mbed-os/#eca67ca7dafab4ef70c21e2463b541132d0dd691