tree ebd02c1fb3ecd6788968ddd142c419daa7c715af
parent bcb0c197a1d13d2c48ff98dd89f87f15486f1817
author David 'Digit' Turner <digit@android.com> 1308826436 +0200
committer David 'Digit' Turner <digit@android.com> 1309339937 +0200

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