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

Revision:
28:239239e33d92
Parent:
26:0b45eb26bd42
Child:
30:f5b42453b3f9
--- a/mbed-os.lib	Tue Feb 28 11:15:03 2017 +0000
+++ b/mbed-os.lib	Tue Feb 28 13:30:04 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#bcf7085d85b2811b5d68bdda192c754eadfb8f88
+https://github.com/ARMmbed/mbed-os/#5faf4b26c5954d15c7c1cccac6498e0c690ad101