Since a few days we have AS7 7.1.1.Final available in Fedora
updates-testing repository. Please give it a shot and bump the karma if
it works for you:
https://admin.fedoraproject.org/updates/jboss-as-7.1.1-2.fc17
Make sure you use build 7.1.1-2 because it fixes one issue present on
i386 platform.
Thanks!
--Marek