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

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