[GIT PULL 2/4] ARM broadcast timer updates for 3.9

[Russell King - ARM Linux]

On Mon, Feb 04, 2013 at 01:55:29PM +0000, Will Deacon wrote:
> Hello again,
> 
> This is the second part of the kvm-related series and moves ARM over to
> the generic timer broadcast implementation, currently queued by tglx in
> -tip.
> 
> Please note that, due to this dependency, this branch contains mainline
> up to ~-rc6, so you may want to keep it on a separate branch to avoid
> pulling in a bunch of unrelated changes from -tip.

Both 1 and 2 pulled and merged.  I'll wait 24 hours before pushing this out
so that the nightly build can have a go at it before the new devel-stable
branch gets published.