> If it does not work, probably best to ask the kernel folk if they
> have any ideas?

What would be the correct way to do this? Should I just issue a bug-report with 
"reportbug kernel“?

Reply via email to