Comment 11 for bug 71348

Thanks Phoenix for your hints, but that's not what I want/need. If I unterstood the above correctly, Ubuntu-Kernel works too, but with the original binaries, and that's what I want (what I really want is a fix, sure *g*)