Update x86 and x86_64 kernel images [DO NOT MERGE]
automerge: baaba1db6d  -s ours

* commit 'baaba1db6d2f07d3bd8455218ecc5168aa0b364d':
  Update x86 and x86_64 kernel images [DO NOT MERGE]