--- zzzz-none-000/linux-4.1.38/arch/arm/include/asm/hardirq.h	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/arch/arm/include/asm/hardirq.h	2020-11-25 10:06:48.000000000 +0000
@@ -5,7 +5,11 @@
 #include <linux/threads.h>
 #include <asm/irq.h>
 
+#if defined(CONFIG_BCM_ASTRA) && defined(CONFIG_BCM_KF_ASTRA)
+#define NR_IPI	16
+#else
 #define NR_IPI	8
+#endif
 
 typedef struct {
 	unsigned int __softirq_pending;