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

Revision:
46:9e5c120a82a8
Parent:
45:d007f1c934db
Child:
47:54bd97f836f3
--- a/mbed-os.lib	Fri Sep 15 07:45:03 2017 +0100
+++ b/mbed-os.lib	Fri Sep 29 10:45:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#ca661f9d28526ca8f874b05432493a489c9671ea
+https://github.com/ARMmbed/mbed-os/#5499db1e815b035c2039b6f1e7cbcbf1fd7e0f19