According to Manoj in the logs to bug#394661, which was blocking this bug and has since been closed, the bug was fixed in kernel-package 10.063. So I guess that all that is needed is a rebuild of the kernels with a Build-Depends on a sufficiently recent kernel-package. Julian