Ricardo: Can you please mark this as fixed releaesd and use bug https://bugs.launchpad.net/linaro-ubuntu/+bug/939593 instead.
Ricardo: Can you please mark this as fixed releaesd and use bug https:/ /bugs.launchpad .net/linaro- ubuntu/ +bug/939593 instead.