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

Revision:
74:8eaa115f31a3
Parent:
73:00fa8b8f7ebf
Child:
75:b827e32e3e2a
--- a/mbed-os.lib	Tue Jul 31 09:15:02 2018 +0100
+++ b/mbed-os.lib	Wed Aug 15 15:30:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#485bdeee150e2bc8ed75e27d936060fb63a7a7d1
+https://github.com/ARMmbed/mbed-os/#f8b140f8d7cb226e41486c5df66ac4f3ce699219