hallo does it make sense to report bugs to *redhat*-bugzilla, if they are already known at kernel.org ? sometime i got the time to check both, sometimes... -- ronald