From b9388e9711f1c9736ccfb120f4bd972d9a78cf23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Tue, 11 Nov 2014 07:06:09 +0100
Subject: [PATCH] fix kernel builds on 32bit linux

---
 pkgs/os-specific/linux/kernel/common-config.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index 1af44088dae..16362de9ae0 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -318,7 +318,9 @@ with stdenv.lib;
   ${optionalString (!stdenv.is64bit) ''
     HIGHMEM64G? y # We need 64 GB (PAE) support for Xen guest support.
   ''}
-  INTEL_IOMMU_DEFAULT_ON y
+  ${optionalString stdenv.is64bit ''
+    INTEL_IOMMU_DEFAULT_ON y
+  ''}
   ${optionalString (versionAtLeast version "3.9") ''
     VFIO_PCI_VGA y
   ''}