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

* commit '6e571c44188acac4d0e23643ea3372ae827b8b47':
  sdk: Copy ABI-specific kernel image to platform image directory.