5.1 please

Change-Id: I819354815d5f01cd46cf37039c9c0c6673114224

default.xml

@@ -15,7 +15,7 @@
            review="gerrit.omnirom.org"
            fetch="https://github.com/omnirom" />
 
-  <default revision="refs/tags/android-5.0.2_r1"
+  <default revision="refs/tags/android-5.1.0_r1"
            remote="aosp"
            sync-c="true"
            sync-j="4" />