(The issue described by https://bugs.launchpad.net/linaro-big-little-reference/+bug/995857 may not be a bug -- see that bug page.)
(The issue described by https:/ /bugs.launchpad .net/linaro- big-little- reference/ +bug/995857 may not be a bug -- see that bug page.)