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

Revision:
64:7091d1363acd
Parent:
63:fafc99ba7d28
Child:
65:caf630d9c605
--- a/mbed-os.lib	Wed Mar 28 15:00:02 2018 +0100
+++ b/mbed-os.lib	Wed Apr 11 08:15:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#addec7ba10054be03849eff58a1d17f157391e7d
+https://github.com/ARMmbed/mbed-os/#f9ee4e849f8cbd64f1ec5fdd4ad256585a208360