From 52c9e4415bde0d78762783d1a3b150ce1bcee585 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Mon, 26 Oct 2015 16:17:22 +0100
Subject: [PATCH] linux: Support x2APIC

Without this, certain servers with lots of CPU cores would show only
one core.
---
 pkgs/os-specific/linux/kernel/common-config.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index df5fe2f6763..4df1e4e1938 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -487,6 +487,10 @@ with stdenv.lib;
   BRCMFMAC_USB? y
   BRCMFMAC_PCIE? y
 
+  # Support x2APIC (which requires IRQ remapping).
+  X86_X2APIC y
+  IRQ_REMAP y
+
   ${kernelPlatform.kernelExtraConfig or ""}
   ${extraConfig}
 ''