From ddd31e5a9a43d7b4e903ba2ef23860abe0ec4152 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Sat, 15 Apr 2017 02:50:21 +0100
Subject: [PATCH] [powerpc/powerpc-smp,powerpcspe] Explicitly set NR_CPUS=4

---
 debian/config/powerpc/config.powerpc-smp | 1 +
 debian/config/powerpcspe/config          | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/config/powerpc/config.powerpc-smp b/debian/config/powerpc/config.powerpc-smp
index 494c00d29..dfbaaf6d2 100644
--- a/debian/config/powerpc/config.powerpc-smp
+++ b/debian/config/powerpc/config.powerpc-smp
@@ -2,4 +2,5 @@
 ## file: arch/powerpc/platforms/Kconfig.cputype
 ##
 CONFIG_SMP=y
+CONFIG_NR_CPUS=4
 
diff --git a/debian/config/powerpcspe/config b/debian/config/powerpcspe/config
index d962d9d37..8d3fcc54a 100644
--- a/debian/config/powerpcspe/config
+++ b/debian/config/powerpcspe/config
@@ -24,6 +24,7 @@ CONFIG_PPC_85xx=y
 ## end choice
 CONFIG_PHYS_64BIT=y
 CONFIG_SMP=y
+CONFIG_NR_CPUS=4
 
 ##
 ## file: drivers/gpio/Kconfig