am eff8b9de: am 39386d45: Merge "sdk: Copy ABI-specific kernel image to platform image directory."

* commit 'eff8b9de35890bf50093d38ef5e9e81557ad4a9c':
  sdk: Copy ABI-specific kernel image to platform image directory.