On Sat, Jan 12, 2013 at 11:29:20PM +0000, Jason Cooper wrote: > ---------------------------------------------------------------- > mvebu boards for v3.9 > - Guruplug Server Plus DT board > - mvebu improved SMP support in interrupt controller > - update mvebu_defconfig And a not specified dependency on pull request 2.