draogn: modify push-kernel.sh script to handle different kernel repos

Allow push-kernel.sh script to update prebuilts from different kernel
repos.

Change-Id: I4ce2a83c049d026f9e9cfd45b13c23c9b5037b0c
1 file changed
tree: 32cb5c61fe8d2e3d2ea52677c9bca1f3af6def14
  1. Image.fit
  2. push-kernel.sh