Re: kernel compile problem

[David Coe]

See also bug #47054, which suggests a one-line additon to the
kernel-package script that's probably a better fix to this problem
(though I haven't tested it).