repopick: fix broken pipe error from "repo list"

  * the subprocess running "repo list" was not closed cleanly
    if the branch was found

Change-Id: Ie659966f3a670b25ab076a8dc723c4235760d04e
build: allow dopush to work properly with network adb

Change-Id: I9efe60814d66dc8eb17544e6c2b94473dc903133
add cortex-a5 cpu variant

Change-Id: I369e499d537888eb0f07d900cb50d1424632820e