Securing JBoss EAP 6.1 Datasource with Kerberos

We are having trouble getting Kerberos authentication for a JDBC Datasource to work in JBoss EAP 6.1.

From what we have found, JBoss cannot use Kerberos authentication for JDBC data sources. It is looking for PasswordCredentials from the security domain configured on the data source. The specific component in JBoss that has this issue is ironjacamar.

Is there a workaround for this issue or a patch that can be applied to get Kerberos authentication to work for a JDBC datasource in JBoss EAP 6.1?