Could we get this in a PPA somewhere? Perhaps https://launchpad.net/~linaro-maintainers/+archive/overlay until it's merged in Ubuntu? (Careful: this is a devirtualized PPA) Thanks! -- Loïc Minier