On Mon, Jul 1, 2013 at 5:07 PM, Steve McIntyre <steve@einval.com> wrote: > > Most of the armel build machines are now running wheezy with a 3.2 > kernel now, so it's likely this problem is now fixed. Yes, thank you! The last build succeeded. Cheers! -- Sergei Golovan