Patch looks fine to me, thanks. I've queued up the below.
From: Ville Nuorvala <vnuorval@tcs.hut.fi>
I've experienced random lockups witch become almost certain under heavy
loads, like when doing ping6 -f. The culprit seems to be the 3c574_cs
driver, which locks lp->window_lock twice when calling update_stats() from
el3_interrupt().