You need to ask in a Raspberry Pi specific forum as the kernel in Raspbian has nothing to do with Debian. Ben. -- Ben Hutchings Life would be so much easier if we could look at the source code.