sdk: Copy ABI-specific kernel image to platform image directory.

This patch depends on https://review.source.android.com/24052

It is used to ensure that the proper kernel image is copied to the
platform image's kernel-qemu.

This is needed because for ARMv7 platform builds, the image is
in prebuilt/android-arm/kernel/kernel-qemu-armv7, instead of
   prebuilt/android-arm/kernel/kernel-qemu

Change-Id: I0f175a1ba3d97f5c7420597bdeebc7a353551194
diff --git a/build/sdk.atree b/build/sdk.atree
index 41a94f4..a8aa0c5 100644
--- a/build/sdk.atree
+++ b/build/sdk.atree
@@ -69,9 +69,10 @@
 system.img                              platforms/${PLATFORM_NAME}/images/${TARGET_CPU_ABI}/system.img
 ramdisk.img                             platforms/${PLATFORM_NAME}/images/${TARGET_CPU_ABI}/ramdisk.img
 userdata.img                            platforms/${PLATFORM_NAME}/images/${TARGET_CPU_ABI}/userdata.img
-prebuilt/android-${TARGET_ARCH}/kernel/kernel-qemu platforms/${PLATFORM_NAME}/images/${TARGET_CPU_ABI}/kernel-qemu
 system/build.prop platforms/${PLATFORM_NAME}/images/${TARGET_CPU_ABI}/build.prop
 
+# Note: the kernel image is handled by sdk-android-<abi>.atree now.
+
 # emulator skins from sdk.git
 development/tools/emulator/skins/QVGA      platforms/${PLATFORM_NAME}/skins/QVGA
 development/tools/emulator/skins/WQVGA432  platforms/${PLATFORM_NAME}/skins/WQVGA432