tree 25f9966a9c4f5088d38749765db7cbffcb40d353
parent fef230b282dce4b4f5c898eca24e4c403899717b
parent 333a2f8147c61595bdb239e8ea41650bd56ce0c7
author David 'Digit' Turner <digit@google.com> 1310410690 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1310410690 -0700

am 333a2f81: am dfd5d02c: merge intel x86 patches into gingerbread branch

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