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

Revision:
16:71f51c703eee
Parent:
15:26d1c87c3fc0
Child:
17:70f39bf6d39a
diff -r 26d1c87c3fc0 -r 71f51c703eee mbed-os.lib
--- a/mbed-os.lib	Mon Oct 24 14:30:02 2016 +0100
+++ b/mbed-os.lib	Fri Oct 28 13:15:03 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e435a07d9252f133ea3d9f6c95dfb176f32ab9b6
+https://github.com/ARMmbed/mbed-os/#e2617cc0e17f5c3fc2bae6a589c9bcfd3d1a717b