From 8f197f151cd357cf802bee6ab19fc24ac8d15fcc Mon Sep 17 00:00:00 2001
From: Andrew Turner <andrew@FreeBSD.org>
Date: Wed, 23 Jan 2013 07:27:38 +0000
Subject: [PATCH] Don't build the kernel with Thumb interworking as we don't
 support Thumb.

---
 sys/conf/Makefile.arm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/conf/Makefile.arm b/sys/conf/Makefile.arm
index 7ccb9a79b49..63b451d6c91 100644
--- a/sys/conf/Makefile.arm
+++ b/sys/conf/Makefile.arm
@@ -39,6 +39,8 @@ SYSTEM_DEP:= ${SYSTEM_DEP:$S/conf/ldscript.$M=ldscript.$M}
 STRIP_FLAGS = -S
 .endif
 
+CFLAGS += -mno-thumb-interwork
+
 .if empty(DDB_ENABLED)
 CFLAGS += -mno-apcs-frame
 .elif defined(WITH_ARM_EABI)