Add kernel image update service

Change-Id: I851f0053dd125674545b6be2c67c2ba49db0ac3c
5 files changed
tree: 3396c84ec55af05b63b98ad67597a99ee539b5d4
  1. debian/