> Is this something that should be submitted to the Linux Kernel mailing list > to be fixed by the next kernel prerelease? Sure, go ahead. Adding a patch that fixes the problem would probably simplify things a lot. Michael