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

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