Moving the documentation for the ARM interrupt attribute into AttrDocs.