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

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