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

Revision:
19:c3f08ad7c776
Parent:
18:50b62d440e88
Child:
20:3d13ed027d89
--- a/mbed-os.lib	Fri Dec 09 13:00:04 2016 +0000
+++ b/mbed-os.lib	Fri Dec 16 11:00:06 2016 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#d5de476f74dd4de27012eb74ede078f6330dfc3f
+https://github.com/ARMmbed/mbed-os/#c3b9436e12610acaab723f730ab15b48a539a5ac