On Tue, Dec 24, 2013 at 8:15 AM, Christoph Egger > Are you both running stable kernels for the build? are you using chroots > or not? I was using a chroot and the unstable 9.2 kernel. I can try a non-chroot build if that may be somehow helpful? Best wishes, Mike