arm: Kconfig context refresh
diff --git a/patches/jump-label-rt.patch b/patches/jump-label-rt.patch
index 4643147..3e8bce9 100644
--- a/patches/jump-label-rt.patch
+++ b/patches/jump-label-rt.patch
@@ -1,6 +1,7 @@
-Subject: jump-label: disable if stop_machine() is used
+From aea5e38e7beac3be79d122a26f3e43f28bd8227c Mon Sep 17 00:00:00 2001
 From: Thomas Gleixner <tglx@linutronix.de>
-Date: Wed, 08 Jul 2015 17:14:48 +0200
+Date: Wed, 8 Jul 2015 17:14:48 +0200
+Subject: [PATCH] jump-label: disable if stop_machine() is used
 
 Some architectures are using stop_machine() while switching the opcode which
 leads to latency spikes.
@@ -18,18 +19,20 @@
 Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
 [bigeasy: only ARM for now]
 Signed-off-by: Sebastian Andrzej Siewior <bigeasy@linutronix.de>
----
- arch/arm/Kconfig |    2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
 
+diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
+index a9c4e48bb7ec..ae5ded3efd7a 100644
 --- a/arch/arm/Kconfig
 +++ b/arch/arm/Kconfig
-@@ -35,7 +35,7 @@ config ARM
- 	select HARDIRQS_SW_RESEND
+@@ -36,7 +36,7 @@ config ARM
  	select HAVE_ARCH_AUDITSYSCALL if (AEABI && !OABI_COMPAT)
  	select HAVE_ARCH_BITREVERSE if (CPU_32v7M || CPU_32v7) && !CPU_32v6
+ 	select HAVE_ARCH_HARDENED_USERCOPY
 -	select HAVE_ARCH_JUMP_LABEL if !XIP_KERNEL && !CPU_ENDIAN_BE32 && MMU
 +	select HAVE_ARCH_JUMP_LABEL if !XIP_KERNEL && !CPU_ENDIAN_BE32 && MMU && !PREEMPT_RT_BASE
  	select HAVE_ARCH_KGDB if !CPU_ENDIAN_BE32 && MMU
  	select HAVE_ARCH_MMAP_RND_BITS if MMU
  	select HAVE_ARCH_SECCOMP_FILTER if (AEABI && !OABI_COMPAT)
+-- 
+2.5.0
+