ARM interrupt epilogue generation

[Richard Earnshaw]

> Hi Richard,
> 
> > Can you check whether PRs 9372 7960 7941 7328 6040 and 6039 can now be 
> > closed?
> 
> Yes - they can all now be closed.
> 
> Cheers
>         Nick

Excellent.  Given the number of PRs this fixes, it is probably worth 
pulling the patches onto the 3.3 branch as well.

R.