am 831840e5: change OTA tools to handle variable dev keys

* commit '831840e51b0403671f746ebc32090b7d6e548c08':
  change OTA tools to handle variable dev keys