On Tue, Jul 2, 2013 at 4:17 PM, Russell King - ARM Linux <linux at arm.linux.org.uk> wrote: > Please don't merge this yet. Oops, too late. The ARM SoC pull requests got merged a couple of hours ago.. Linus