am dfd5d02c: merge intel x86 patches into gingerbread branch

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