Hi, I just compiled a new kernel last night, and it does indeed work. Should I report this as bug to the kernel in Debian? Paul.