On Tue, Aug 07, 2007 at 04:13:04PM +0200, Josip Rodin wrote: > I noted the buildd kernel problem. Has anyone had a crack at it yet? > The last mails about it to the list were on June 27th. Not reproducible on my (UP) hardware.