build thumb2 kernel on %{armv7}

diff --git a/kernel-arm.config b/kernel-arm.config
index fcd59d29beac973c6740b63a115bd872d6d4d261..498e9419256c2010fcf2f44fb2ac8ee779ebf94a 100644 (file)
--- a/kernel-arm.config
+++ b/kernel-arm.config
@@ -123,7 +123,7 @@ HOTPLUG_CPU arm=y
 ARM_PSCI arm=y
 HZ_200 arm=n
 HZ_500 arm=n
-THUMB2_KERNEL arm=n
+THUMB2_KERNEL arm=n armv7l=y armv7hl=y armv7hnl=y
 ARM_PATCH_IDIV arm=y
 OABI_COMPAT arm=n
 HIGHMEM arm=y