manifest: Add workaround for nexus10 kernel missing on our mirror

Change-Id: I31e311f7fc8a0d8b021bc2382b9f28bb13a47c11
Signed-off-by: Bernhard Rosenkränzer <Bernhard.Rosenkranzer@linaro.org>
1 file changed
tree: eb94cd230d5adeefabe7e5fa11ee752d20a55657
  1. default.xml
  2. tracking-origen-quad.xml