diff --git a/redhat-rpm-config-9.1.0-arm.patch b/redhat-rpm-config-9.1.0-arm.patch
index f620294..e059347 100644
--- a/redhat-rpm-config-9.1.0-arm.patch
+++ b/redhat-rpm-config-9.1.0-arm.patch
@@ -22,8 +22,7 @@ diff -urNp redhat-rpm-config-9.1.0_orig/rpmrc redhat-rpm-config-9.1.0/rpmrc
  
  buildarchtranslate: armv5tejl: armv5tel
  buildarchtranslate: armv6l: armv5tel
--buildarchtranslate: armv7l: armv5tel
-+buildarchtranslate: armv7l: armv7hl
+ buildarchtranslate: armv7l: armv5tel
 +buildarchtranslate: armv7hl: armv7hl
 +buildarchtranslate: armv7hnl: armv7hl
  
diff --git a/redhat-rpm-config.spec b/redhat-rpm-config.spec
index 2a14b21..00f85bb 100644
--- a/redhat-rpm-config.spec
+++ b/redhat-rpm-config.spec
@@ -1,7 +1,7 @@
 Summary: Red Hat specific rpm configuration files
 Name: redhat-rpm-config
 Version: 9.1.0
-Release: 12%{?dist}
+Release: 13%{?dist}
 # No version specified.
 License: GPL+
 Group: Development/System
@@ -55,6 +55,11 @@ rm -rf ${RPM_BUILD_ROOT}
 %{_sysconfdir}/rpm/*
 
 %changelog
+* Mon Sep 19 2011 Jon Masters <jcm@redhat.com> - 9.1.0-13
+- rework a patch we had been sitting on to fix F15 ARM hardfp bootstrap
+- redhat-rpm-config-9.1.0-arm.patch: do NOT make armv7hl default on v7
+- redhat-rpm-config-9.1.0-arm.patch: disable Thumb on v7hl systems
+
 * Sat Jul 02 2011 Jon Masters <jcm@jonmasters.org> - 9.1.0-12
 - redhat-rpm-config-9.1.0-arm.patch: Make armv7hl default on all v7 ARM