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

Revision:
56:67611bfa061f
Parent:
55:31ae47e84e28
Child:
58:d69d9e148365
--- a/mbed-os.lib	Wed Jan 03 12:00:02 2018 +0000
+++ b/mbed-os.lib	Wed Jan 17 11:15:02 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#eca67ca7dafab4ef70c21e2463b541132d0dd691
+https://github.com/ARMmbed/mbed-os/#96d9a00d0a1d25095b330095fa81c40f7741777c