diff --git a/PKGBUILD b/PKGBUILD
index d8088d6a269c8b278da4b088db32c90cbebe2ca7..45a99d07ef137a5750e4b1b35b768830b2b8b2f3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 
 pkgname=linux-seblu
 pkgver=3.17
-pkgrel=2
+pkgrel=3
 arch=('x86_64')
 license=('GPL2')
 url='http://www.kernel.org'
diff --git a/config.x86_64.3.17 b/config.x86_64.3.17
index 3a1f6809568562d946bb6c8f416f8cc3f4acb7e2..52335b10d10841850ef1509bc61920e38ac6407d 100644
--- a/config.x86_64.3.17
+++ b/config.x86_64.3.17
@@ -399,7 +399,7 @@ CONFIG_GART_IOMMU=y
 # CONFIG_CALGARY_IOMMU is not set
 CONFIG_SWIOTLB=y
 CONFIG_IOMMU_HELPER=y
-CONFIG_NR_CPUS=16
+CONFIG_NR_CPUS=64
 CONFIG_SCHED_SMT=y
 CONFIG_SCHED_MC=y
 # CONFIG_PREEMPT_NONE is not set
@@ -418,12 +418,13 @@ CONFIG_X86_THERMAL_VECTOR=y
 CONFIG_X86_16BIT=y
 CONFIG_X86_ESPFIX64=y
 CONFIG_I8K=m
-CONFIG_MICROCODE=m
+CONFIG_MICROCODE=y
 CONFIG_MICROCODE_INTEL=y
 CONFIG_MICROCODE_AMD=y
 CONFIG_MICROCODE_OLD_INTERFACE=y
-# CONFIG_MICROCODE_INTEL_EARLY is not set
-# CONFIG_MICROCODE_AMD_EARLY is not set
+CONFIG_MICROCODE_INTEL_EARLY=y
+CONFIG_MICROCODE_AMD_EARLY=y
+CONFIG_MICROCODE_EARLY=y
 CONFIG_X86_MSR=m
 CONFIG_X86_CPUID=m
 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y