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

Revision:
26:0b45eb26bd42
Parent:
25:43e058c2bf8a
Child:
28:239239e33d92
--- a/mbed-os.lib	Thu Feb 02 12:45:04 2017 +0000
+++ b/mbed-os.lib	Wed Feb 15 10:00:05 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#269f58d75b752a4e67a6a2d8c5c698635ffd6752
+https://github.com/ARMmbed/mbed-os/#bcf7085d85b2811b5d68bdda192c754eadfb8f88