--- a/plugins/kernel.py	2016-03-24 00:56:22.000000000 +0000
+++ b/plugins/kernel.py	2016-03-29 14:33:56.349165608 +0000
@@ -148,10 +148,11 @@
         self._target_arch = get_machine_info(machine)
         logger.info('Cross compiling kernel target {!r}'.format(
             self._target_arch['kernel']))
-        self.build_packages.extend(self._target_arch['cross-build-packages'])
-        self.make_cmd.append('ARCH={}'.format(self._target_arch['kernel']))
-        self.make_cmd.append('CROSS_COMPILE={}'.format(
-            self._target_arch['cross-compiler-prefix']))
+        if self._target_arch != 'x86':
+            self.build_packages.extend(self._target_arch['cross-build-packages'])
+            self.make_cmd.append('ARCH={}'.format(self._target_arch['kernel']))
+            self.make_cmd.append('CROSS_COMPILE={}'.format(
+                self._target_arch['cross-compiler-prefix']))
 
     def _get_fw_install_targets(self):
         if not self.options.kernel_with_firmware: