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

Revision:
75:b827e32e3e2a
Parent:
74:8eaa115f31a3
Child:
76:b8641a51336e
diff -r 8eaa115f31a3 -r b827e32e3e2a mbed-os.lib
--- a/mbed-os.lib	Wed Aug 15 15:30:02 2018 +0100
+++ b/mbed-os.lib	Mon Aug 27 09:00:03 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#f8b140f8d7cb226e41486c5df66ac4f3ce699219
+https://github.com/ARMmbed/mbed-os/#0fdfcf7350896a9c0b57c4a18237677abfe25f1a