commit bed131848e0b0db4539fd2c4c893470c51006653
author David 'Digit' Turner <digit@android.com> Thu Jun 23 12:53:56 2011 +0200
committer David 'Digit' Turner <digit@google.com> Thu Jul 07 23:42:44 2011 +0200
tree 53c8fff761b39df6418915f3a62058fdb03ad28c
parent 3ef19fa91771be93f398af577a4432bb0fd571aa

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

Back-port from AOSP master tree.

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: I1d79c2ac9711472be1832605bb27bdce7b09344c
Orig-Changed-Id: f7f6842b3235d3537ba2dbd5e13193f428557366